nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 13 Apr 2010 00:47:57 +0200] rev 1815

moved equivariance of map into Nominal2_Eqvt file

Christian Urban <urbanc@in.tum.de> [Mon, 12 Apr 2010 17:44:26 +0200] rev 1814

early ott paper

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 12 Apr 2010 17:05:19 +0200] rev 1813

Porting lemmas from Quotient package FSet to new FSet.

Christian Urban <urbanc@in.tum.de> [Mon, 12 Apr 2010 14:31:23 +0200] rev 1812

added alpha-caml paper

Christian Urban <urbanc@in.tum.de> [Mon, 12 Apr 2010 13:34:54 +0200] rev 1811

implemented in thmdecls the case where eqvt-lemmas are of the form _ ==> _

Christian Urban <urbanc@in.tum.de> [Sun, 11 Apr 2010 22:48:49 +0200] rev 1810

fixed bug in thmdecls with destructing Trueprop; some initial infrastructure for eqvt-theorems of the form _ ==> _

nominal2