Tue, 19 Aug 2014 14:58:38 +0200 |
Andreas Lochbihler |
Enum.finite_5 already provides a non-distributive lattice (see 51aa30c9ee4e)
|
file |
diff |
annotate
|
Thu, 24 Jul 2014 14:08:29 +0200 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
Fri, 11 Jul 2014 15:52:03 +0200 |
Andreas Lochbihler |
reactivate session Quickcheck_Examples
|
file |
diff |
annotate
|
Fri, 11 Jul 2014 15:35:11 +0200 |
Andreas Lochbihler |
adapt and reactivate Quickcheck_Types and add two test cases
|
file |
diff |
annotate
|
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
|