src/HOL/ex/Quickcheck_Examples.thy
changeset 19404 9bf2cdc9e8e8
parent 17388 495c799df31d
child 25891 1bd12187a96e