nominal2: Changelog

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

Term1 is identical to Example 3

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

Move example3 out.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:42:02 +0100] rev 1596

Move Ex1 and Ex2 out of Test

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:33:48 +0100] rev 1595

Move examples which create more permutations out

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:22:48 +0100] rev 1594

Move LamEx out of Test.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:20:13 +0100] rev 1593

Move lambda examples to manual

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:19:33 +0100] rev 1592

Move manual examples to a subdirectory.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:16:39 +0100] rev 1591

Removed compat tests.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 23 Mar 2010 08:11:39 +0100] rev 1590

merge

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

Move Non-respectful examples to NotRsp

nominal2