Nominal/NewParser.thy
Thu, 13 May 2010 10:34:59 +0100 Christian Urban added term4 back to the examples
Wed, 12 May 2010 16:33:50 +0100 Christian Urban merged
Wed, 12 May 2010 16:33:25 +0100 Christian Urban moved the data-transformation into the parser
Wed, 12 May 2010 16:39:10 +0200 Cezary Kaliszyk Move alpha_eqvt to unused.
less more (0) -30 -10 -4 tip