src/HOL/Library/Predicate_Compile_Quickcheck.thy
2011-07-18 bulwahn 2011-07-18 adapting quickcheck based on the analysis of the predicate compiler
2010-09-09 bulwahn 2010-09-09 changing the container for the quickcheck options to a generic data
2010-03-29 bulwahn 2010-03-29 adopting Predicate_Compile_Quickcheck
2010-03-24 bulwahn 2010-03-24 moved further predicate compile files to HOL-Library