| 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 |