# HG changeset patch
# User wenzelm
# Date 884086363 -3600
# Node ID fad9b7479dbe4d508f731eb554e774642084380c
# Parent  f90b2d459a1b6449aa33ec7fb3f193d3293ea731
tuned;

diff -r f90b2d459a1b -r fad9b7479dbe src/HOL/ROOT.ML
--- 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;