History log of /seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/ARM_prover_extLib.sml
Revision Date Author Comments
# 8d83067c 21-Oct-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove TABs from examples
# 6dbc8987 03-Aug-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix ARM_security_properties example for pat_assum
# 41cbeb6f 03-Sep-2014 Michael Norrish <michael.norrish@nicta.com.au>

Attempt to make ARM_security_examples a deal quieter as it builds
# 7ee5ef30 03-Sep-2014 Michael Norrish <michael.norrish@nicta.com.au>

Remove some trailing whitespace
# 02f09555 01-Nov-2013 Narges <nargeskh@kth.se>

holmade done OK