Thu, 25 Feb 2010 14:14:08 +0100 | Cezary Kaliszyk | Split Terms into separate files and add them to tests. | changeset | files |
Thu, 25 Feb 2010 12:32:15 +0100 | Cezary Kaliszyk | merge | changeset | files |
Thu, 25 Feb 2010 12:30:50 +0100 | Cezary Kaliszyk | Move the eqvt code out of Terms and fixed induction for single-rule examples. | changeset | files |