| Wed, 11 Feb 2004 17:38:21 +0100 |
berghofe |
Printing functions now use cond_extrn instead of extrn
|
changeset |
files
|
| Wed, 11 Feb 2004 17:36:08 +0100 |
berghofe |
Added flag short_names
|
changeset |
files
|
| Wed, 11 Feb 2004 01:26:15 +0100 |
nipkow |
Modified UN and INT xsymbol syntax: made index subscript
|
changeset |
files
|
| Wed, 11 Feb 2004 00:37:18 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Tue, 10 Feb 2004 12:17:04 +0100 |
paulson |
updated links to the old ftp site
|
changeset |
files
|
| Tue, 10 Feb 2004 12:02:11 +0100 |
paulson |
generic of_nat and of_int functions, and generalization of iszero
|
changeset |
files
|
| Thu, 05 Feb 2004 10:45:28 +0100 |
paulson |
tidying up, especially the Complex numbers
|
changeset |
files
|
| Thu, 05 Feb 2004 04:30:38 +0100 |
nipkow |
Changed variable names.
|
changeset |
files
|
| Wed, 04 Feb 2004 03:44:05 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Tue, 03 Feb 2004 15:58:31 +0100 |
paulson |
further tidying of the complex numbers
|
changeset |
files
|
| 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
|