src/HOL/Predicate_Compile_Examples/Examples.thy
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-07-15 wenzelm 2013-07-15 tuned line length;
2013-02-15 haftmann 2013-02-15 less customary term_of conversions; spurious side effect on method reflection
2011-12-24 haftmann 2011-12-24 adjusted to set/pred distinction by means of type constructor `set`
2011-04-23 wenzelm 2011-04-23 modernized specifications;
2011-04-04 krauss 2011-04-04 raised timeouts further, for SML/NJ -- because of variations in machines/compilers, fixed timeouts can merely prevent non-termination, not enforce particular performance characteristics.
2011-04-01 krauss 2011-04-01 raised timeouts further, for SML/NJ
2011-03-24 bulwahn 2011-03-24 allowing special set comprehensions in values command; adding an example for special set comprehension in values
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-09-23 bulwahn 2010-09-23 splitting Predicate_Compile_Examples into Examples and Predicate_Compile_Tests