src/HOL/SPARK/Manual/Example_Verification.thy
2017-08-18 wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-10-16 haftmann 2016-10-16 eliminated irregular aliasses
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2014-10-07 wenzelm 2014-10-07 more antiquotations;
2014-04-30 berghofe 2014-04-30 Discontinued old spark_open; spark_open_siv is now spark_open
2011-09-22 berghofe 2011-09-22 Added documentation for HOL-SPARK