| Wed, 07 Dec 2005 12:33:38 +0100 | urbanc | tuned | file | diff | annotate |
| Sun, 04 Dec 2005 12:25:57 +0100 | urbanc | tuned | file | diff | annotate |
| Wed, 30 Nov 2005 15:30:08 +0100 | urbanc | fixed the lemma where the new names generated by nominal_induct | file | diff | annotate |