src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy
changeset 54381 9c1f21365326
parent 51599 1559e9266280
child 57544 8840fa17e17c