tuned;

--- a/src/HOL/ROOT.ML	Mon Jan 05 12:56:22 1998 +0100
+++ b/src/HOL/ROOT.ML	Tue Jan 06 12:32:43 1998 +0100
@@ -57,9 +57,8 @@
 use_thy "Map";
 
 (*TFL: recursive function definitions*)
-cd "../TFL";
+cd "$ISABELLE_HOME/src/TFL";
 use "sys.sml";
-cd "../HOL";
 
 print_depth 8;