Thu, 21 May 2009 19:15:22 +0200 | haftmann | using precompiled Predicate.map | changeset | files |
Thu, 21 May 2009 16:51:00 +0200 | haftmann | merged | changeset | files |
Thu, 21 May 2009 09:07:25 +0200 | haftmann | re-added corrected version of type copy quickcheck generator | changeset | files |
Thu, 21 May 2009 09:07:13 +0200 | haftmann | added Predicate.map in SML environment | changeset | files |
Thu, 21 May 2009 15:25:44 +0100 | webertj | merged | changeset | files |
Thu, 21 May 2009 15:25:26 +0100 | webertj | implementation of definitional CNF improved | changeset | files |