src/HOL/Real/Lubs.thy
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-06-02 wenzelm 2006-06-02 misc cleanup;
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-04-22 wenzelm 2004-04-22 constdefs: proper order;
2004-01-28 paulson 2004-01-28 converted Real/Lubs to Isar script. Converting arithmetic setup files to be polymorphic.
2000-07-07 nipkow 2000-07-07 added type classes to constant's type
1999-09-21 wenzelm 1999-09-21 tuned;
1999-08-16 paulson 1999-08-16 inserted Id: lines
1998-06-25 paulson 1998-06-25 Installation of target HOL-Real