src/HOL/Library/Glbs.thy
2009-02-09 chaieb 2009-02-09 A theory of greatest lower bounds