nominal2: Changelog

kuncar [Sun, 10 Mar 2013 12:06:48 +0100] rev 3209

adapt to changes Isabelle/84d01fd733cf

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 06:58:14 +0000] rev 3208

updated for 2013 release

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 05:42:51 +0000] rev 3207

updated README

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 05:38:46 +0000] rev 3206

added Nominal2-Isabelle 2013 Branch

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 04:21:11 +0000] rev 3205

tuned

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 29 Nov 2012 21:59:38 +0000] rev 3204

fixed problem with not fresh enough permutation name in nominal_primrec

Christian Urban <urbanc@in.tum.de> [Mon, 29 Oct 2012 14:00:48 +0000] rev 3203

adapted to latest change of Markus on the function package

Christian Urban <urbanc@in.tum.de> [Fri, 19 Oct 2012 09:40:24 +0100] rev 3202

updated to changes in the type-def package

Christian Urban <urbanc@in.tum.de> [Thu, 04 Oct 2012 12:44:43 +0100] rev 3201

removed "use" - replaced by "ML_file"

Christian Urban <urbanc@in.tum.de> [Thu, 04 Oct 2012 11:10:23 +0100] rev 3200

removed fork_mono flag

nominal2