| Sat, 24 Oct 2009 20:27:26 +0200 | bulwahn | further changes due to the previous merge in the predicate compiler | changeset | files |
| Sat, 24 Oct 2009 23:57:42 +0200 | wenzelm | merge -- imported from bulwahn d759e2728188; | changeset | files |
| 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 |