Nominal/NewParser.thy
2010-04-28 Christian Urban simpliied and moved the remaining lemmas about the atom-function to Nominal2_Base
less more (0) -1 tip