src/HOL/Tools/quickcheck_generators.ML
2009-05-26 haftmann 2009-05-26 separate module for quickcheck generators