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 |
Wed, 17 Jan 2007 19:29:55 +0100 | urbanc | tuned a bit the proofs | file | diff | annotate |
Tue, 16 Jan 2007 13:59:08 +0100 | urbanc | formalisation of Crary's chapter on logical relations | file | diff | annotate |