src/HOL/Quickcheck_Examples/Quickcheck_Lattice_Examples.thy
Wed, 13 Aug 2014 14:57:16 +0200 Andreas Lochbihler Quickcheck_Types is no longer needed due to 51aa30c9ee4e
less more (0) -1 tip