Nominal/Ex/TypeSchemes2.thy
2012-06-04 Christian Urban added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often
2012-01-03 Christian Urban updated to explicit set type constructor (post Isabelle 3rd January)
2011-12-29 Christian Urban separated the two versions of type schemes into two files
less more (0) tip