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)
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