src/HOL/Library/Glbs.thy
2009-03-23 ago tuned header
2009-03-04 ago removed old/broken CVS Ids;
2009-02-09 ago A theory of greatest lower bounds