TFL/ROOT.ML

--- a/TFL/ROOT.ML	Fri Dec 20 16:10:30 1996 +0100
+++ b/TFL/ROOT.ML	Fri Jan 03 10:45:31 1997 +0100
@@ -8,4 +8,5 @@
 *)
 
 use"sys.sml";
-use_dir"examples/Subst";
+cd"examples/Subst";
+use"ROOT.ML";