Wed, 27 Mar 2013 16:08:30 +0100 webertj Various changes to support Nominal2 commands in local contexts.
Tue, 26 Mar 2013 16:41:31 +0100 webertj Manual merge of d121bd2a5a47 from Isabelle/AFP.
Mon, 11 Mar 2013 16:37:54 +0000 Christian Urban tuned
Mon, 11 Mar 2013 16:33:52 +0000 Christian Urban reverted change in the stable branch Nominal2-Isabelle2013
Mon, 11 Mar 2013 16:30:45 +0000 Christian Urban updated to quotient package changes (by Kuncar)
Sun, 10 Mar 2013 12:06:48 +0100 kuncar adapt to changes Isabelle/84d01fd733cf Nominal2-Isabelle2013
Tue, 19 Feb 2013 06:58:14 +0000 Christian Urban updated for 2013 release Nominal2-Isabelle2013
Tue, 19 Feb 2013 05:42:51 +0000 Christian Urban updated README
Tue, 19 Feb 2013 05:38:46 +0000 Christian Urban added Nominal2-Isabelle 2013 Branch Nominal2-Isabelle2013
Tue, 19 Feb 2013 04:21:11 +0000 Christian Urban tuned
Thu, 29 Nov 2012 21:59:38 +0000 Christian Urban fixed problem with not fresh enough permutation name in nominal_primrec
Mon, 29 Oct 2012 14:00:48 +0000 Christian Urban adapted to latest change of Markus on the function package
Fri, 19 Oct 2012 09:40:24 +0100 Christian Urban updated to changes in the type-def package
Thu, 04 Oct 2012 12:44:43 +0100 Christian Urban removed "use" - replaced by "ML_file"
(0) -3000 -1000 -300 -100 -14 +14 tip