Mon, 12 Sep 2011 07:55:43 +0200 | nipkow | new fastforce replacing fastsimp - less confusing name | file | diff | annotate |
Wed, 13 Jul 2011 23:41:13 +0200 | haftmann | adjusted to tightened specification of classes bot and top | file | diff | annotate |
Mon, 22 Nov 2010 11:35:00 +0100 | bulwahn | adapting the quickcheck examples | file | diff | annotate |
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 |