nominal2: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 04 Jun 2013 09:39:23 +0100] rev 3219

updated to new Isabelle

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 19 Apr 2013 00:10:52 +0100] rev 3218

updated to simplifier changes

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Apr 2013 23:22:53 +0100] rev 3217

added example for locales (by Tjark Weber)

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Mar 2013 17:23:00 +0000] rev 3216

tuned

webertj [Wed, 27 Mar 2013 16:09:46 +0100] rev 3215

Fixed proofs to work with 13ab4f0a0b0e.

webertj [Wed, 27 Mar 2013 16:08:30 +0100] rev 3214

Various changes to support Nominal2 commands in local contexts.

webertj [Tue, 26 Mar 2013 16:41:31 +0100] rev 3213

Manual merge of d121bd2a5a47 from Isabelle/AFP.

nominal2