| Mon, 19 May 2014 12:45:26 +0100 |
Christian Urban |
changed nominal_primrec into the more appropriate nominal_function
|
file |
diff |
annotate
|
| Mon, 11 Mar 2013 16:37:54 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Tue, 19 Feb 2013 06:58:14 +0000 |
Christian Urban |
updated for 2013 release
Nominal2-Isabelle2013
|
file |
diff |
annotate
|
| Tue, 19 Feb 2013 05:42:51 +0000 |
Christian Urban |
updated README
|
file |
diff |
annotate
|
| Tue, 19 Feb 2013 04:21:11 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Thu, 29 Nov 2012 21:59:38 +0000 |
Christian Urban |
fixed problem with not fresh enough permutation name in nominal_primrec
|
file |
diff |
annotate
|
| Sat, 17 Dec 2011 17:03:01 +0000 |
Christian Urban |
cleaned all papers from the stable branch
Nominal2-Isabelle2011-1
|
file |
diff |
annotate
|
| Sun, 14 Nov 2010 16:34:47 +0000 |
Christian Urban |
merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
|
file |
diff |
annotate
|
| Wed, 13 Oct 2010 22:55:58 +0100 |
Christian Urban |
more on the pearl paper
|
file |
diff |
annotate
|
| Sun, 29 Aug 2010 12:17:25 +0800 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Sun, 29 Aug 2010 12:14:40 +0800 |
Christian Urban |
updated todos
|
file |
diff |
annotate
|
| Sun, 25 Jul 2010 22:42:21 +0200 |
Christian Urban |
added paper by james; some minor cleaning
|
file |
diff |
annotate
|
| Sun, 04 Apr 2010 21:39:28 +0200 |
Christian Urban |
separated general nominal theory into separate folder
|
file |
diff |
annotate
|
| Sat, 03 Apr 2010 22:31:11 +0200 |
Christian Urban |
added README and moved examples into separate directory
|
file |
diff |
annotate
|