| Thu, 14 Jun 2007 23:04:36 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Mon, 11 Jun 2007 11:06:04 +0200 | chaieb | tuned Proof | 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 |
| Tue, 06 Mar 2007 15:28:22 +0100 | urbanc | major update of the nominal package; there is now an infrastructure | file | diff | annotate |
| Mon, 27 Nov 2006 14:05:43 +0100 | urbanc | adapted function definitions to new syntax | file | diff | annotate |
| Mon, 23 Oct 2006 00:51:16 +0200 | berghofe | Adapted to changes in FCBs. | file | diff | annotate |
| Wed, 18 Oct 2006 23:15:16 +0200 | urbanc | cleaning up | file | diff | annotate |