| Tue, 06 Mar 2007 16:40:32 +0100 | narboux | correct typo in latex output | file | diff | annotate |
| Tue, 06 Mar 2007 15:28:22 +0100 | urbanc | major update of the nominal package; there is now an infrastructure | file | diff | annotate |
| Fri, 02 Feb 2007 17:16:16 +0100 | urbanc | added an infrastructure that allows the user to declare lemmas to be equivariance lemmas; the intention is to use these lemmas in automated tools but also can be employed by the user | file | diff | annotate |