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