src/HOL/Lubs.thy
2013-03-26 hoelzl 2013-03-26 move real_isLub_unique to isLub_unique in Lubs; real_sum_of_halves to RealDef; abs_diff_less_iff to Rings
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