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