src/HOL/Library/Glbs.thy
2012-02-16 wenzelm 2012-02-16 more symbols; misc tuning;
2009-03-23 haftmann 2009-03-23 tuned header
2009-03-04 wenzelm 2009-03-04 removed old/broken CVS Ids;
2009-02-09 chaieb 2009-02-09 A theory of greatest lower bounds