src/HOL/ex/FinFunPred.thy
2016-06-10 wenzelm 2016-06-10 bundles "finfun_syntax" and "no_finfun_syntax" for optional syntax;
2016-02-23 nipkow 2016-02-23 more canonical names
2015-12-26 wenzelm 2015-12-26 isabelle update_cartouches -c -t;
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2015-06-01 haftmann 2015-06-01 correct sort constraints for abbreviations in type classes * * * yet another bunch of corrections
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-08-08 Andreas Lochbihler 2013-08-08 prefer Code.abort with explicit error message
2013-07-25 haftmann 2013-07-25 factored syntactic type classes for bot and top (by Alessandro Coglio)
2012-06-01 Andreas Lochbihler 2012-06-01 simplify card_UNIV type class, tuned proofs
2012-05-30 Andreas Lochbihler 2012-05-30 remove pretty syntax for FinFuns at the end and provide separate syntax theory
2012-05-30 Andreas Lochbihler 2012-05-30 eliminated remaining sub- and superscripts in FinFun syntax
2012-05-30 Andreas Lochbihler 2012-05-30 syntax for FinFun composition without subscripts tuned proofs
2012-05-30 Andreas Lochbihler 2012-05-30 FinFun pseudo-constructor syntax without superscripts
2012-05-30 Andreas Lochbihler 2012-05-30 replace FinFun application syntax with $
2012-05-30 Andreas Lochbihler 2012-05-30 removed subscripts from FinFun type syntax
2012-05-29 Andreas Lochbihler 2012-05-29 unify Rep_finfun and finfun_apply
2012-05-29 Andreas Lochbihler 2012-05-29 move FinFuns from AFP to repository