| Tue, 12 Feb 2002 20:31:40 +0100 | wenzelm | * Isar/Pure: marginal comments ``--'' may now occur just anywhere in the text; | changeset | files |
| Tue, 12 Feb 2002 20:28:27 +0100 | wenzelm | got rid of explicit marginal comments (now stripped earlier from input); | changeset | files |
| Tue, 12 Feb 2002 20:25:58 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 11 Feb 2002 17:30:58 +0100 | wenzelm | ML-Systems/smlnj-compiler.ML compatibility tweak; | changeset | files |
| Mon, 11 Feb 2002 10:56:33 +0100 | wenzelm | include SVC_Test; | changeset | files |
| Thu, 07 Feb 2002 11:07:03 +0100 | berghofe | Theorems are only "pre-named" if the do not already have names. | changeset | files |
| Wed, 06 Feb 2002 14:10:35 +0100 | berghofe | Added function could_unify to speed up rewriting of proof terms. | changeset | files |