| Wed, 02 May 2007 01:42:23 +0200 | urbanc | tuned some proofs and changed variable names in some definitions of Nominal.thy | file | diff | annotate |
| Wed, 28 Mar 2007 18:25:23 +0200 | urbanc | the name for the collection of equivariance lemmas is now eqvts (changed from eqvt) in order to avoid clashes with eqvt-lemmas generated in nominal_inductive | file | diff | annotate |