Tue, 03 Feb 2004 11:06:36 +0100 paulson tidying of the complex numbers
Tue, 03 Feb 2004 10:19:21 +0100 nipkow Finally fixed the counterexample finder. Can now deal with < on real.
Mon, 02 Feb 2004 12:23:46 +0100 paulson Conversion of HyperNat to Isar format and its declaration as a semiring
Thu, 29 Jan 2004 16:51:17 +0100 paulson simplifications in the hyperreals
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
Wed, 28 Jan 2004 01:19:34 +0100 kleing remove more files (index, log files) for -c option
Tue, 27 Jan 2004 15:49:33 +0100 paulson replacing HOL/Real/PRat, PNat by the rational number development
Tue, 27 Jan 2004 15:39:51 +0100 paulson replacing HOL/Real/PRat, PNat by the rational number development
Tue, 27 Jan 2004 09:44:14 +0100 schirmer \<^raw...> does no longer print an additional space.
Tue, 27 Jan 2004 08:15:10 +0100 nipkow Reduced space for xsymbols output of [| |] ==> from 3 to 1
Mon, 26 Jan 2004 15:33:51 +0100 schirmer \\<...> will be converted to \<...>
Mon, 26 Jan 2004 10:34:02 +0100 schirmer * Support for raw latex output in control symbols: \<^raw...>
Sun, 25 Jan 2004 00:42:22 +0100 nipkow Added an exception handler and error msg.
(0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip