| Mon, 29 Nov 1999 11:21:30 +0100 | wenzelm | qed ""; | changeset | files |
| Fri, 26 Nov 1999 08:46:59 +0100 | nipkow | Various little changes like cmethd -> method and cfield -> field. | changeset | files |
| Thu, 25 Nov 1999 12:30:57 +0100 | nipkow | del Method.ML | changeset | files |
| Thu, 25 Nov 1999 12:01:28 +0100 | nipkow | Minor mods. | changeset | files |
| Wed, 24 Nov 1999 13:36:14 +0100 | wenzelm | renamed comp to compile (avoids clash with Relation.comp); | changeset | files |
| Wed, 24 Nov 1999 13:35:31 +0100 | wenzelm | prove_goal thy; | changeset | files |
| Wed, 24 Nov 1999 12:12:36 +0100 | nipkow | Basis now Main. | changeset | files |
| Wed, 24 Nov 1999 10:25:28 +0100 | paulson | tidied, choosing nicer names | changeset | files |