src/HOL/ex/Quickcheck_Lattice_Examples.thy
2010-07-21 bulwahn 2010-07-21 adding checking of expected result for the tool quickcheck; annotated a few quickcheck examples
2010-07-21 bulwahn 2010-07-21 adding Quickcheck examples for other quickcheck default types