Nominal/NewParser.thy
Thu, 13 May 2010 15:58:02 +0100 Christian Urban made out of STEPS a configuration value so that it can be set individually in each file
Thu, 13 May 2010 10:34:59 +0100 Christian Urban added term4 back to the examples
less more (0) -30 -10 -2 tip