Nominal/Ex/Lambda.thy
Sun, 09 May 2010 12:26:10 +0100 Christian Urban cleaned up a bit the examples; added equivariance to all examples
Tue, 04 May 2010 11:22:22 +0200 Cezary Kaliszyk Move 2 more to NewParser
Mon, 26 Apr 2010 20:17:41 +0200 Christian Urban some changes to the paper
less more (0) -10 -3 tip