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 |
Thu, 25 Feb 2010 12:24:37 +0100 | Christian Urban | merged | changeset | files |
Thu, 25 Feb 2010 11:51:34 +0100 | Christian Urban | a few simplifications | changeset | files |