Nominal/Nominal2_Atoms.thy
2010-03-08 Christian Urban updated to new Isabelle
2010-02-25 Christian Urban moved Nominal to "toplevel"
less more (0) tip