| Sat, 19 Mar 2016 21:06:48 +0000 |
Christian Urban |
updated to Isabelle 2016
Nominal2-Isabelle2016
|
file |
diff |
annotate
|
| Thu, 09 Jul 2015 02:32:46 +0100 |
Christian Urban |
updated for Isabelle 2015
|
file |
diff |
annotate
|
| Mon, 24 Mar 2014 15:31:17 +0000 |
Christian Urban |
updated to massive changes in Isabelle
|
file |
diff |
annotate
|
| Thu, 13 Mar 2014 09:21:31 +0000 |
Christian Urban |
updated to Isabelle changes
|
file |
diff |
annotate
|
| Sat, 11 Jan 2014 23:17:23 +0000 |
Christian Urban |
updated with current AFP version
|
file |
diff |
annotate
|
| Sun, 15 Dec 2013 15:14:40 +1100 |
Christian Urban |
updated to changes in Isabelle
|
file |
diff |
annotate
|
| Tue, 04 Jun 2013 09:39:23 +0100 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
| Fri, 19 Apr 2013 00:10:52 +0100 |
Christian Urban |
updated to simplifier changes
|
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
|
| Tue, 07 Aug 2012 18:54:52 +0100 |
Christian Urban |
definition of an auxiliary graph in nominal-primrec definitions
|
file |
diff |
annotate
|
| Thu, 03 Nov 2011 13:19:23 +0000 |
Christian Urban |
updated to Isabelle 3 Nov; it includes a hack to work around a bug in the localised version of the quotient package
|
file |
diff |
annotate
|
| Fri, 22 Jul 2011 11:52:12 +0100 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Fri, 22 Jul 2011 11:37:16 +0100 |
Christian Urban |
completed the eqvt-proofs for functions; they are stored under the name function_name.eqvt and added to the eqvt-list
|
file |
diff |
annotate
|
| Tue, 19 Jul 2011 19:09:06 +0100 |
Christian Urban |
temporary fix
|
file |
diff |
annotate
|
| Tue, 19 Jul 2011 09:40:46 +0100 |
Christian Urban |
merged
|
file |
diff |
annotate
|