src/HOL/Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2015-09-09 wenzelm 2015-09-09 merged
2015-09-09 wenzelm 2015-09-09 eliminated \<Colon> -- from dead code!
2015-09-09 Andreas Lochbihler 2015-09-09 reactivate examples with predicate compiler and quickcheck
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;
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-04-23 wenzelm 2011-04-23 modernized specifications;
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-12-03 bulwahn 2010-12-03 adapting predicate_compile_quickcheck
2010-09-23 bulwahn 2010-09-23 handling equivalences smarter in the predicate compiler
2010-09-07 bulwahn 2010-09-07 using linear find_least instead of sorting in the mode analysis of the predicate compiler
2010-04-16 wenzelm 2010-04-16 replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
2010-03-29 bulwahn 2010-03-29 adding skip_proof in the examples because proof procedure cannot handle alternative compilations yet
2010-03-24 bulwahn 2010-03-24 added predicate compiler quickcheck examples to new session Predicate_Compile_Examples