Nominal/NewParser.thy
2010-05-13 Christian Urban made out of STEPS a configuration value so that it can be set individually in each file
2010-05-13 Christian Urban added term4 back to the examples
2010-05-12 Christian Urban merged
less more (0) -30 -10 -3 tip