Nominal/Atoms.thy
2012-10-19 Christian Urban updated to changes in the type-def package
2012-06-04 Christian Urban added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often
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)
2011-03-14 Christian Urban more on the pearl paper
2010-12-07 Christian Urban updated to changes in Isabelle
less more (0) -7 tip