Nominal/Ex/Datatypes.thy
2011-12-15 Christian Urban updated to lates changes in the datatype package
2011-11-07 Christian Urban all examples work again after quotient package has been "de-localised"
2011-07-05 Christian Urban changed bind to binds in specifications; bind will cause trouble with Monad_Syntax
2011-06-16 Christian Urban got rid of the boolean flag in the raw_equivariance function
2011-05-10 Christian Urban updated to new Isabelle (> 9 May)
2011-05-03 Christian Urban proved that lfp is equivariant (that simplifies equivariance proofs of inductively defined predicates)
2010-12-22 Christian Urban properly exported strong exhaust theorem; cleaned up some examples
2010-11-10 Christian Urban adapted to changes by Florian on the quotient package and removed local fix for function package
2010-11-07 Christian Urban fixed locally the problem with the function package; all tests work again
2010-11-06 Christian Urban added a test about subtyping; disabled two tests, because of problem with function package
2010-09-25 Christian Urban added example about datatypes
less more (0) tip