use, cd;

--- a/src/Pure/ROOT.ML	Thu Feb 04 18:14:40 1999 +0100
+++ b/src/Pure/ROOT.ML	Thu Feb 04 18:15:01 1999 +0100
@@ -73,6 +73,9 @@
 end;
 
 use "install_pp.ML";
-open BasicUse;
+
+val use = ThyInfo.load_file o Path.unpack;
+val cd = File.cd o Path.unpack;
+
 print_depth 8;
 (*ml_prompts "ML> " "ML# ";*)