Nominal/Atoms.thy
2011-06-23 Christian Urban the simplifier can simplify "sort (atom a)" if a is a concrete atom type declared with atom_decl
2011-05-10 Christian Urban made the subtyping work again
2011-05-10 Christian Urban updated to new Isabelle (> 9 May)
less more (0) -3 tip