src/HOL/Lubs.thy
2012-02-16 wenzelm 2012-02-16 more symbols; misc tuning;
2009-03-27 haftmann 2009-03-27 normalized imports
2009-01-28 haftmann 2009-01-28 Plain, Main form meeting points in import hierarchy
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s