src/HOL/Quickcheck_Examples/Quickcheck_Lattice_Examples.thy
2014-08-13 Andreas Lochbihler 2014-08-13 Quickcheck_Types is no longer needed due to 51aa30c9ee4e
2014-07-18 kleing 2014-07-18 avoid duplicate fact name
2012-03-12 wenzelm 2012-03-12 tuned headers;
2012-02-22 bulwahn 2012-02-22 moving Quickcheck's example to its own session