| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | hiding constants in Quickcheck_Types | file | diff | annotate |
| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | adding a type for flat complete lattice to Quickcheck_Types | file | diff | annotate |
| Wed, 21 Jul 2010 18:11:51 +0200 | bulwahn | adding Library theory for other quickcheck default types | file | diff | annotate |