--- a/TFL/README	Thu May 15 11:35:26 1997 +0200
+++ b/TFL/README	Thu May 15 12:29:59 1997 +0200
@@ -2,5 +2,5 @@
 
 1. Invoke the current version of Isabelle-HOL.
 2. use "sys.sml";  
-3. cd examples/Subst
-4. use "ROOT.ML";
+3. cd "examples/Subst";      or 3. cd "examples";
+4. use "ROOT.ML";               4. use"test.sml";