diff -r cdcc4d5602b6 -r 404fe31fd8d2 TFL/sys.sml --- a/TFL/sys.sml Thu May 22 15:11:56 1997 +0200 +++ b/TFL/sys.sml Thu May 22 15:13:16 1997 +0200 @@ -1,4 +1,10 @@ -(* Compile the TFL system *) +(* Title: TFL/mask + ID: $Id$ + Author: Konrad Slind, Cambridge University Computer Laboratory + Copyright 1997 University of Cambridge + +Compile the TFL system +*) (* Portability stuff *) nonfix prefix;