| Thu, 25 Feb 2010 12:30:50 +0100 | Cezary Kaliszyk | Move the eqvt code out of Terms and fixed induction for single-rule examples. | file | diff | annotate |
| Thu, 25 Feb 2010 12:15:11 +0100 | Cezary Kaliszyk | Code for proving eqvt, still in Terms. | file | diff | annotate |
| Thu, 25 Feb 2010 09:41:14 +0100 | Cezary Kaliszyk | Use eqvt infrastructure. | file | diff | annotate |