nominal2: Changelog

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

merged

Christian Urban <urbanc@in.tum.de> [Mon, 08 Feb 2010 13:12:55 +0100] rev 1087

moved some lemmas to Nominal; updated all files

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 08 Feb 2010 13:04:29 +0100] rev 1086

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 08 Feb 2010 13:04:13 +0100] rev 1085

Comments.

Christian Urban <urbanc@in.tum.de> [Mon, 08 Feb 2010 11:56:22 +0100] rev 1084

slightly tuned

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 08 Feb 2010 11:41:25 +0100] rev 1083

Proper context fixes lifting inside instantiations.

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

nominal2