Tue, 27 Jul 2004 15:39:59 +0200 | ballarin | *** empty log message *** | changeset | files |
Mon, 26 Jul 2004 17:34:52 +0200 | paulson | converting Hyperreal/Transcendental to Isar script | changeset | files |
Mon, 26 Jul 2004 15:48:50 +0200 | ballarin | New prover for transitive and reflexive-transitive closure of relations. | changeset | files |