TFL/sys.sml
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";