Nominal/Ex/ExLetRec.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 11:22:22 +0200 Cezary Kaliszyk Move 2 more to NewParser
less more (0) tip