| Tue, 28 Sep 2010 11:59:51 +0200 | bulwahn | handling higher-order relations in output terms; improving proof procedure; added test case | changeset | files |
| Tue, 28 Sep 2010 11:59:50 +0200 | bulwahn | renaming use_random to use_generators in the predicate compiler | changeset | files |
| Tue, 28 Sep 2010 11:59:48 +0200 | bulwahn | fixed a typo that caused the preference of non-random modes to be ignored | changeset | files |
| Tue, 28 Sep 2010 12:48:05 +0200 | haftmann | merged | changeset | files |