| 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, 19 May 2014 12:45:26 +0100 |
Christian Urban |
changed nominal_primrec into the more appropriate nominal_function
|
file |
diff |
annotate
|
| Mon, 19 May 2014 11:19:48 +0100 |
Christian Urban |
changes from upstream
|
file |
diff |
annotate
|
| Fri, 16 May 2014 08:38:23 +0100 |
Christian Urban |
updated changes from upstream (AFP)
|
file |
diff |
annotate
|
| Mon, 24 Mar 2014 15:31:17 +0000 |
Christian Urban |
updated to massive changes in Isabelle
|
file |
diff |
annotate
|
| Sat, 11 Jan 2014 23:17:23 +0000 |
Christian Urban |
updated with current AFP version
|
file |
diff |
annotate
|
| Mon, 29 Oct 2012 14:00:48 +0000 |
Christian Urban |
adapted to latest change of Markus on the function package
|
file |
diff |
annotate
|
| Mon, 18 Jun 2012 14:50:02 +0100 |
Christian Urban |
used ML-antiquotation command_spec for new commands
|
file |
diff |
annotate
|
| Mon, 30 Apr 2012 15:45:23 +0100 |
Christian Urban |
adapted to change by Markus on function.ML
|
file |
diff |
annotate
|
| Tue, 20 Mar 2012 11:26:10 +0000 |
Christian Urban |
updated to new Isabelle (20 March)
|
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
|
| Sun, 28 Aug 2011 14:50:13 +0100 |
Christian Urban |
updated to Isabelle 28 Aug
|
file |
diff |
annotate
|
| Wed, 17 Aug 2011 22:56:07 +0200 |
Christian Urban |
made same changes as in main branch
|
file |
diff |
annotate
|
| Mon, 15 Aug 2011 17:42:35 +0200 |
Christian Urban |
uodated to new Isabelle (15. Aug)
|
file |
diff |
annotate
|