src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 45763 3bb2bdf654f7
parent 45760 3b5a735897c3
child 45765 cb6ddee6a463