Thu, 24 Oct 1996 10:30:43 +0200 | paulson | Removal of unused predicate isSpy | changeset | files |
Thu, 24 Oct 1996 10:30:17 +0200 | paulson | Handles pathnames in ISABELLECOMP | changeset | files |
Mon, 21 Oct 1996 11:37:21 +0200 | paulson | Mentions the possibility of pathnames in ISABELLECOMP; | changeset | files |