History log of /seL4-l4v-master/l4v/isabelle/src/HOL/SPARK/Manual/Example_Verification.thy
Revision Date Author Comments
# 86b3e4b4 07-Jun-2018 wenzelm <none@none>

isabelle emacs no longer exists;
# 17bc899d 18-Aug-2017 wenzelm <none@none>

session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
# 4b713e59 16-Oct-2016 haftmann <none@none>

eliminated irregular aliasses
# 66281660 26-May-2016 wenzelm <none@none>

isabelle update_cartouches -c -t;
# f2f7425c 07-Oct-2014 wenzelm <none@none>

more antiquotations;
# cb851030 30-Apr-2014 berghofe <none@none>

Discontinued old spark_open; spark_open_siv is now spark_open
# 42948201 22-Sep-2011 berghofe <none@none>

Added documentation for HOL-SPARK