nominal2: Changelog

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 _ ==> _

Christian Urban <urbanc@in.tum.de> [Sun, 11 Apr 2010 22:47:45 +0200] rev 1809

folded changes from the conference version

Christian Urban <urbanc@in.tum.de> [Sun, 11 Apr 2010 22:01:56 +0200] rev 1808

added TODO item about parser creating syntax for the wrong type

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

corrected imports header

Christian Urban <urbanc@in.tum.de> [Sun, 11 Apr 2010 18:11:23 +0200] rev 1806

tuned

Christian Urban <urbanc@in.tum.de> [Sun, 11 Apr 2010 18:11:13 +0200] rev 1805

a few tests

Christian Urban <urbanc@in.tum.de> [Sun, 11 Apr 2010 18:10:08 +0200] rev 1804

added eqvt rules that are more standard

nominal2