src/HOL/Quickcheck.thy
changeset 42323 ab5747d44120
parent 42175 32c3bb5e1b1a
child 44845 5e51075cbd97