src/HOL/Library/Predicate_Compile_Quickcheck.thy
2010-03-24 bulwahn 2010-03-24 moved further predicate compile files to HOL-Library