| Thu, 16 Sep 2010 13:49:17 +0200 | bulwahn | improving replacing higher order arguments to work with tuples | changeset | files |
| Thu, 16 Sep 2010 13:49:14 +0200 | bulwahn | adding another context free grammar example for the predicate compiler | changeset | files |
| Thu, 16 Sep 2010 13:49:12 +0200 | bulwahn | adding values to show and ensure that values works with complex terms and restores numerals on natural numbers | changeset | files |
| Thu, 16 Sep 2010 13:49:11 +0200 | bulwahn | adding restoring of numerals for natural numbers for values command | changeset | files |