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