src/HOL/Hyperreal/Lim.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, 29 Jul 2004 16:57:41 +0200 paulson removal of more iff-rules from RealDef.thy
Wed, 28 Jul 2004 16:25:28 +0200 paulson fixed precedences
Wed, 28 Jul 2004 10:49:29 +0200 paulson conversion of Hyperreal/MacLaurin_lemmas to Isar script
Mon, 26 Jul 2004 17:34:52 +0200 paulson converting Hyperreal/Transcendental to Isar script
Thu, 24 Jun 2004 17:52:02 +0200 paulson replaced monomorphic abs definitions by abs_if
Fri, 19 Mar 2004 10:51:03 +0100 paulson conversion of Hyperreal/Lim to new-style
Sun, 15 Feb 2004 10:46:37 +0100 paulson Polymorphic treatment of binary arithmetic using axclasses
Fri, 28 Nov 2003 12:09:37 +0100 paulson conversion of some Real theories to Isar scripts
Fri, 07 Feb 2003 16:40:23 +0100 nipkow (*f -> ( *f because of new comments
Fri, 02 Nov 2001 17:55:24 +0100 paulson Numerals and simprocs for types real and hypreal. The abstract
Sat, 06 Oct 2001 00:02:46 +0200 wenzelm * sane numerals (stage 2): plain "num" syntax (removed "#");
Fri, 05 Oct 2001 21:52:39 +0200 wenzelm sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
Sat, 30 Dec 2000 22:03:47 +0100 paulson separation of HOL-Hyperreal from HOL-Real
less more (0) tip