src/HOL/Tools/Predicate_Compile/pred_compile_fun.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-23 bulwahn 2009-09-23 added first version of quickcheck based on the predicate compiler; added a few quickcheck examples
2009-09-23 bulwahn 2009-09-23 added first prototype of the extended predicate compiler