Nominal/Ex/ExLetRec.thy
Mon, 10 May 2010 15:14:02 +0200 Cezary Kaliszyk ExLetRec
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
Sat, 03 Apr 2010 22:31:11 +0200 Christian Urban added README and moved examples into separate directory
less more (0) tip