changeset 3353 | 9112a2efb9a3 |
parent 3302 | 404fe31fd8d2 |
child 3391 | 5e45dd3b64e9 |
--- a/TFL/sys.sml Tue May 27 13:03:41 1997 +0200 +++ b/TFL/sys.sml Tue May 27 13:22:30 1997 +0200 @@ -1,4 +1,4 @@ -(* Title: TFL/mask +(* Title: TFL/sys ID: $Id$ Author: Konrad Slind, Cambridge University Computer Laboratory Copyright 1997 University of Cambridge @@ -8,8 +8,6 @@ (* Portability stuff *) nonfix prefix; -use"mask.sig"; -use"mask.sml"; (* Establish a base of common and/or helpful functions. *) use "utils.sig";