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