| 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 |