nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 08 Feb 2010 10:47:19 +0100] rev 1082

Fixed the context import/export and simplified LFex.

Christian Urban <urbanc@in.tum.de> [Mon, 08 Feb 2010 06:27:20 +0100] rev 1081

added 2 papers about core haskell

Christian Urban <urbanc@in.tum.de> [Sun, 07 Feb 2010 10:20:29 +0100] rev 1080

fixed lemma name

Christian Urban <urbanc@in.tum.de> [Sun, 07 Feb 2010 10:16:21 +0100] rev 1079

updated to latest Nominal2

Christian Urban <urbanc@in.tum.de> [Sat, 06 Feb 2010 12:58:56 +0100] rev 1078

minor

Christian Urban <urbanc@in.tum.de> [Sat, 06 Feb 2010 10:04:56 +0100] rev 1077

some tuning

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 05 Feb 2010 15:17:21 +0100] rev 1076

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 05 Feb 2010 14:52:27 +0100] rev 1075

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 05 Feb 2010 10:32:21 +0100] rev 1074

Fixes for Bex1 removal.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 05 Feb 2010 15:09:49 +0100] rev 1073

Cleaned Terms using [lifted] and found a workaround for the instantiation problem.

nominal2