src/HOL/SPARK/Manual/Simple_Greatest_Common_Divisor.thy
21 months ago wenzelm 2017-11-03 less global theories -- avoid confusion about special cases;
24 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2017-04-22 wenzelm 2017-04-22 theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
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-11-21 wenzelm 2011-11-21 tuned header;
2011-09-23 wenzelm 2011-09-23 updated header;
2011-09-22 berghofe 2011-09-22 Added documentation for HOL-SPARK