nominal2: Changelog

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.

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Mar 2013 16:37:54 +0000] rev 3212

tuned

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Mar 2013 16:33:52 +0000] rev 3211

reverted change in the stable branch

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 11 Mar 2013 16:30:45 +0000] rev 3210

updated to quotient package changes (by Kuncar)

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

nominal2