| Thu, 30 Sep 2010 15:37:12 +0200 | bulwahn | adding example for case expressions | file | diff | annotate |
| Wed, 29 Sep 2010 10:33:15 +0200 | bulwahn | added test case for predicate arguments in higher-order argument position | file | diff | annotate |
| Wed, 29 Sep 2010 10:33:15 +0200 | bulwahn | added a test case to Predicate_Compile_Tests | file | diff | annotate |
| Tue, 28 Sep 2010 11:59:53 +0200 | bulwahn | adding test case for interpretation of arguments that are predicates simply as input | file | diff | annotate |
| Tue, 28 Sep 2010 11:59:51 +0200 | bulwahn | handling higher-order relations in output terms; improving proof procedure; added test case | file | diff | annotate |
| Thu, 23 Sep 2010 17:22:44 +0200 | bulwahn | moving the preprocessing of introduction rules after the code_pred command; added tuple expansion preprocessing of elimination rule | file | diff | annotate |
| Thu, 23 Sep 2010 14:50:18 +0200 | bulwahn | splitting Predicate_Compile_Examples into Examples and Predicate_Compile_Tests | file | diff | annotate |