src/HOL/Library/Product_Order.thy
2013-07-25 haftmann 2013-07-25 factored syntactic type classes for bot and top (by Alessandro Coglio)
2013-03-26 wenzelm 2013-03-26 tuned imports;
2013-02-14 haftmann 2013-02-14 consolidation of library theories on product orders