src/HOL/Library/Function_Division.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-06-12 haftmann 2015-06-12 uniform _ div _ as infix syntax for ring division
2015-06-01 haftmann 2015-06-01 separate class for division operator, with particular syntax added in more specific classes
2014-11-02 wenzelm 2014-11-02 modernized header;
2012-07-05 haftmann 2012-07-05 Stub theory for division on functionals.