Nominal/Ex/Ex1rec.thy
Sun, 09 May 2010 12:26:10 +0100 Christian Urban cleaned up a bit the examples; added equivariance to all examples
Thu, 06 May 2010 10:43:41 +0200 Cezary Kaliszyk Experiments with equivariance.
Tue, 04 May 2010 16:39:12 +0200 Cezary Kaliszyk Ex1Rec.
Sun, 25 Apr 2010 08:18:06 +0200 Christian Urban tuned and made to compile
less more (0) tip