nominal2: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 09 Jul 2015 09:13:23 +0100] rev 3241

updated branch

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 09 Jul 2015 09:12:44 +0100] rev 3240

updated examples

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 09 Jul 2015 02:32:46 +0100] rev 3239

updated for Isabelle 2015

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 08 Jul 2014 11:18:31 +0100] rev 3238

updated for 2014 release

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 07 Jul 2014 10:21:40 +0100] rev 3237

changed add.assoc

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 19 May 2014 16:45:46 +0100] rev 3236

changed nominal_primrec to nominal_function and termination to nominal_termination

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 19 May 2014 12:45:26 +0100] rev 3235

changed nominal_primrec into the more appropriate nominal_function

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 19 May 2014 11:19:48 +0100] rev 3234

changes from upstream

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 16 May 2014 08:38:23 +0100] rev 3233

updated changes from upstream (AFP)

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 06 Apr 2014 13:07:24 +0100] rev 3232

some small additions to examples

nominal2