src/HOL/Library/Groups_Big_Fun.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-09-24 haftmann 2014-09-24 added lemmas
2014-09-06 haftmann 2014-09-06 theory about sum and product on function bodies