Sat, 24 Oct 2009 16:55:43 +0200 | bulwahn | removed tuple functions from the predicate compiler | changeset | files |
Sat, 24 Oct 2009 16:55:43 +0200 | bulwahn | improving the compilation with higher-order arguments in the predicate compiler | changeset | files |
Sat, 24 Oct 2009 16:55:43 +0200 | bulwahn | now the predicate compilere handles the predicate without introduction rules better as before | changeset | files |
Sat, 24 Oct 2009 16:55:43 +0200 | bulwahn | removed dead code; added examples | changeset | files |
Sat, 24 Oct 2009 16:55:43 +0200 | bulwahn | removed obsolete GeneratorPrem; clean-up after modularization; tuned | changeset | files |
Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | modularized the compilation in the predicate compiler | changeset | files |