| Sun, 16 Jan 2011 15:53:03 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Tue, 08 Jan 2008 23:11:08 +0100 | urbanc | tuned proofs | file | diff | annotate |
| 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 |