src/HOL/Library/Quickcheck_Types.thy
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-07-13 haftmann 2011-07-13 adjusted to tightened specification of classes bot and top
2010-11-22 bulwahn 2010-11-22 adapting the quickcheck examples
2010-07-21 bulwahn 2010-07-21 hiding constants in Quickcheck_Types
2010-07-21 bulwahn 2010-07-21 adding a type for flat complete lattice to Quickcheck_Types
2010-07-21 bulwahn 2010-07-21 adding Library theory for other quickcheck default types