Nominal/NewParser.thy
2010-06-01 Christian Urban equivariance done
less more (0) -30 -10 -1 tip