src/HOL/Library/Product_Lexorder.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2013-12-25 haftmann 2013-12-25 prefer more canonical names for lemmas on min/max
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-07-25 haftmann 2013-07-25 factored syntactic type classes for bot and top (by Alessandro Coglio)
2013-02-14 haftmann 2013-02-14 consolidation of library theories on product orders