src/HOL/Real/rat_arith.ML
Wed, 04 May 2005 10:42:43 +0200 nipkow fixed lin.arith
Tue, 07 Sep 2004 13:41:30 +0200 nipkow fixed discrete field.
Mon, 06 Sep 2004 17:37:35 +0200 nipkow made mult_mono_thms generic.
Fri, 06 Aug 2004 17:07:04 +0200 nipkow Initial changes to extend arithmetic from individual types to type classes.
Tue, 17 Feb 2004 10:41:59 +0100 paulson further tweaks to the numeric theories
Sun, 15 Feb 2004 10:46:37 +0100 paulson Polymorphic treatment of binary arithmetic using axclasses
Tue, 10 Feb 2004 12:02:11 +0100 paulson generic of_nat and of_int functions, and generalization of iszero
Wed, 28 Jan 2004 17:01:01 +0100 paulson tidying up arithmetic for the hyperreals
Wed, 28 Jan 2004 10:41:49 +0100 paulson converted Real/Lubs to Isar script. Converting arithmetic setup
Tue, 27 Jan 2004 15:39:51 +0100 paulson replacing HOL/Real/PRat, PNat by the rational number development
less more (0) tip