src/HOL/Real/Lubs.thy
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