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