src/HOL/Tools/Quickcheck/abstract_generators.ML
changeset 57978 8f4a332500e4
parent 56002 2028467b4df4
child 58112 8081087096ad