src/HOL/SPARK/Manual/Proc2.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-12-17 haftmann 2016-12-17 reoriented congruence rules in non-explosive direction
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
2011-09-22 berghofe 2011-09-22 Added documentation for HOL-SPARK