Tue, 23 Dec 2003 16:52:49 +0100 | paulson | deleting redundant theorems | changeset | files |
Tue, 23 Dec 2003 14:46:08 +0100 | paulson | new theorems | changeset | files |
Tue, 23 Dec 2003 14:45:47 +0100 | paulson | tidying up hcomplex arithmetic | changeset | files |