Nominal-General/nominal_atoms.ML
2010-08-12 Christian Urban updated to Isabelle 12th Aug
2010-05-21 Cezary Kaliszyk Renamings
2010-05-04 Cezary Kaliszyk Fix for new isabelle
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