src/HOL/Quickcheck_Examples/Quickcheck_Lattice_Examples.thy
2012-03-12 wenzelm 2012-03-12 tuned headers;
2012-02-22 bulwahn 2012-02-22 moving Quickcheck's example to its own session