| Wed, 08 Dec 2010 18:07:04 +0100 | bulwahn | if only finite types and no real datatypes occur in the quantifiers only enumerate cardinality not size in quickcheck | changeset | files |
| Wed, 08 Dec 2010 18:07:03 +0100 | bulwahn | adding a smarter enumeration scheme for finite functions | changeset | files |
| Wed, 08 Dec 2010 16:47:57 +0100 | haftmann | merged | changeset | files |
| Wed, 08 Dec 2010 16:47:45 +0100 | haftmann | work around problems with eta-expansion of equations | changeset | files |