Nominal/Atoms.thy
2014-05-19 Christian Urban changes from upstream
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
2010-11-14 Christian Urban merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
2010-04-03 Christian Urban merged pearl paper with this repository; started litrature subdirectory
less more (0) tip