src/HOL/Real/Lubs.thy
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Thu, 22 Apr 2004 12:11:17 +0200 wenzelm constdefs: proper order;
Wed, 28 Jan 2004 10:41:49 +0100 paulson converted Real/Lubs to Isar script. Converting arithmetic setup
Fri, 07 Jul 2000 18:27:47 +0200 nipkow added type classes to constant's type
Tue, 21 Sep 1999 17:29:00 +0200 wenzelm tuned;
Mon, 16 Aug 1999 18:41:32 +0200 paulson inserted Id: lines
Thu, 25 Jun 1998 13:57:34 +0200 paulson Installation of target HOL-Real
less more (0) tip