Nominal-General/nominal_atoms.ML
2010-04-27 Christian Urban moved mk_atom into the library; that meant that concrete atom classes need to be in Nominal2_Base
2010-04-04 Christian Urban separated general nominal theory into separate folder
less more (0) tip