src/HOL/Predicate_Compile_Examples/Examples.thy
Tue, 16 Jan 2018 09:30:00 +0100 wenzelm standardized towards new-style formal comments: isabelle update_comments;
Fri, 18 Aug 2017 20:47:47 +0200 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
Mon, 17 Jul 2017 16:49:19 +0200 eberlm Printing natural numbers as numerals in evaluation
Thu, 26 May 2016 17:51:22 +0200 wenzelm isabelle update_cartouches -c -t;
Thu, 11 Sep 2014 19:32:36 +0200 blanchet updated news
Tue, 09 Sep 2014 20:51:36 +0200 blanchet use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
Tue, 13 Aug 2013 16:25:47 +0200 wenzelm standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
Mon, 15 Jul 2013 20:36:27 +0200 wenzelm tuned line length;
Fri, 15 Feb 2013 08:31:31 +0100 haftmann less customary term_of conversions;
Sat, 24 Dec 2011 15:53:10 +0100 haftmann adjusted to set/pred distinction by means of type constructor `set`
Sat, 23 Apr 2011 13:00:19 +0200 wenzelm modernized specifications;
Mon, 04 Apr 2011 09:32:50 +0200 krauss raised timeouts further, for SML/NJ -- because of variations in machines/compilers, fixed timeouts can merely prevent non-termination, not enforce particular performance characteristics.
Fri, 01 Apr 2011 09:48:01 +0200 krauss raised timeouts further, for SML/NJ
Thu, 24 Mar 2011 15:29:31 +0100 bulwahn allowing special set comprehensions in values command; adding an example for special set comprehension in values
Wed, 29 Dec 2010 17:34:41 +0100 wenzelm explicit file specifications -- avoid secondary load path;
Thu, 23 Sep 2010 14:50:18 +0200 bulwahn splitting Predicate_Compile_Examples into Examples and Predicate_Compile_Tests
less more (0) tip