nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Thu, 19 Apr 2018 13:58:22 +0100] rev 3246

updated to Isabelle 2016-1

Christian Urban <urbanc@in.tum.de> [Thu, 19 Apr 2018 13:57:17 +0100] rev 3245

updated to Isabelle 2016-1

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

nominal2