src/HOL/ex/Quickcheck_Lattice_Examples.thy
changeset 45231 d85a2fdc586c
parent 44994 a915907a67d5