src/HOL/ex/RPred.thy
2009-09-23 bulwahn 2009-09-23 handling of definitions
2009-08-04 bulwahn 2009-08-04 adapted predicate compiler for quickcheck generators; added compilation of depth-limited search functions for predicates
2009-08-04 bulwahn 2009-08-04 imported patch generic compilation of predicate compiler with different monads