| Wed, 28 Jul 2004 16:25:40 +0200 | paulson | abs notation | changeset | files |
| Wed, 28 Jul 2004 16:25:28 +0200 | paulson | fixed precedences | changeset | files |
| Wed, 28 Jul 2004 10:49:29 +0200 | paulson | conversion of Hyperreal/MacLaurin_lemmas to Isar script | changeset | files |
| 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 |
| Thu, 22 Jul 2004 19:33:12 +0200 | webertj | minor formatting fixes | changeset | files |
| Thu, 22 Jul 2004 17:37:31 +0200 | nipkow | Modified \<Sum> syntax a little. | changeset | files |