Tue, 02 Mar 2004 01:32:23 +0100 | kleing | converted to Isar | changeset | files |
Mon, 01 Mar 2004 13:51:21 +0100 | paulson | new Ring_and_Field hierarchy, eliminating redundant axioms | changeset | files |
Mon, 01 Mar 2004 11:52:59 +0100 | paulson | converted Hyperreal/HTranscendental to Isar script | changeset | files |