| 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 |
| Thu, 25 Feb 2010 09:22:29 +0100 | Cezary Kaliszyk | Simple function eqvt code. | file | diff | annotate |
| Thu, 25 Feb 2010 07:48:57 +0100 | Christian Urban | merged | file | diff | annotate | base |
| Thu, 25 Feb 2010 07:48:33 +0100 | Christian Urban | moved Nominal to "toplevel" | file | diff | annotate | base |