Nominal/Perm.thy
2010-04-04 Christian Urban separated general nominal theory into separate folder
less more (0) -1 tip