src/HOL/Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy
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