| 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 17:27:44 +0200 | urbanc | adapted to new nominal_inductive | file | diff | annotate |
| Wed, 21 Mar 2007 16:06:15 +0100 | krauss | Unified function syntax | 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:50:21 +0100 | urbanc | added the function for free variables of a lambda-term, which is a | file | diff | annotate |
| Mon, 27 Nov 2006 14:05:43 +0100 | urbanc | adapted function definitions to new syntax | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Mon, 30 Oct 2006 13:07:51 +0100 | urbanc | new file for defining functions in the lambda-calculus | file | diff | annotate |