| Thu, 25 Feb 2010 12:15:11 +0100 | Cezary Kaliszyk | Code for proving eqvt, still in Terms. | 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 |