nominal2: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 22 Mar 2016 12:18:30 +0000] rev 3244

fixed a problem with two example theories

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Mar 2016 21:06:48 +0000] rev 3243

updated to Isabelle 2016

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 20 Jul 2015 11:21:59 +0100] rev 3242

removed junk

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

nominal2