src/HOL/Library/Lub_Glb.thy
6 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
6 months ago wenzelm 2019-01-04 isabelle update -u control_cartouches;
13 months ago wenzelm 2018-06-02 more formal comments;
17 months ago wenzelm 2018-02-15 more symbols;
2016-02-17 haftmann 2016-02-17 prefer abbreviations for compound operators INFIMUM and SUPREMUM
2015-12-29 wenzelm 2015-12-29 more symbols;
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-29 wenzelm 2014-10-29 more standard theory name;