nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 23 Mar 2010 10:24:12 +0100] rev 1607

tuned paper

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:56:29 +0100] rev 1606

Initial list unfoldings in Core Haskell.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:38:03 +0100] rev 1605

compiles

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:34:32 +0100] rev 1604

More modification needed for compilation

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:21:43 +0100] rev 1603

Moved let properties from Term5 to ExLetRec.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:13:17 +0100] rev 1602

Move Let properties to ExLet

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:06:28 +0100] rev 1601

Added missing file

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 09:05:23 +0100] rev 1600

More reorganization.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:51:43 +0100] rev 1599

Move Leroy out of Test, rename accordingly.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:46:44 +0100] rev 1598

Term1 is identical to Example 3

nominal2