src/HOL/SPARK/Manual/Reference.thy
21 months ago wenzelm 2017-11-03 less global theories -- avoid confusion about special cases;
2017-08-18 wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-04-13 wenzelm 2016-04-13 eliminated "xname" and variants;
2015-09-09 wenzelm 2015-09-09 eliminated \<Colon> from syntax of constraints;
2015-04-06 wenzelm 2015-04-06 tuned;
2014-09-01 blanchet 2014-09-01 ported to use new-style datatypes * * * compile
2014-04-30 berghofe 2014-04-30 Discontinued old spark_open; spark_open_siv is now spark_open
2012-06-29 berghofe 2012-06-29 Documented "incomplete" option of spark_end
2012-02-28 berghofe 2012-02-28 Added infrastructure for mapping SPARK field / constructor names to Isabelle types
2011-09-22 berghofe 2011-09-22 Added documentation for HOL-SPARK