Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | tuned proof procedure; added size-limiting predicate compilation of higher order predicates; added guessing of number parameters for registrating predicates; removed debug messages | changeset | files |
Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | changed resolving depending predicates and fetching in the predicate compiler | changeset | files |
Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | refactoring predicate compiler; repaired proof procedure to handle all test cases | changeset | files |