src/HOL/ROOT.ML
changeset 4517 fad9b7479dbe
parent 4320 24d9e6639cd4
child 4573 fe504f608835
     1.1 --- a/src/HOL/ROOT.ML	Mon Jan 05 12:56:22 1998 +0100
     1.2 +++ b/src/HOL/ROOT.ML	Tue Jan 06 12:32:43 1998 +0100
     1.3 @@ -57,9 +57,8 @@
     1.4  use_thy "Map";
     1.5  
     1.6  (*TFL: recursive function definitions*)
     1.7 -cd "../TFL";
     1.8 +cd "$ISABELLE_HOME/src/TFL";
     1.9  use "sys.sml";
    1.10 -cd "../HOL";
    1.11  
    1.12  print_depth 8;
    1.13