src/HOL/Library/Quickcheck_Types.thy
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