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