Fri, 19 Mar 2004 10:48:22 +0100 | paulson | new thms | changeset | files |
Fri, 19 Mar 2004 10:46:25 +0100 | paulson | New simplification ordering to move numerals together. Fixes a bug in the | changeset | files |
Fri, 19 Mar 2004 10:44:20 +0100 | paulson | stylistic tweaks | changeset | files |