| Tue, 28 Sep 2010 11:59:53 +0200 | bulwahn | adding test case for interpretation of arguments that are predicates simply as input | changeset | files |
| Tue, 28 Sep 2010 11:59:52 +0200 | bulwahn | only modes but not types are used to destruct terms and types; this allows to interpret arguments that are predicates simply as input | changeset | files |
| Tue, 28 Sep 2010 11:59:51 +0200 | bulwahn | weakening check for higher-order relations, but adding check for consistent modes | changeset | files |
| 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 |