Thu, 03 May 2007 19:00:28 +0200 |
urbanc |
deleted some unnecessary type-annotations
|
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
|
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
|