diff -r 5f6b2dd1cd11 -r be73ddff6c5a src/LCF/ROOT.ML
--- a/src/LCF/ROOT.ML	Fri May 08 10:15:39 1998 +0200
+++ b/src/LCF/ROOT.ML	Fri May 08 13:54:45 1998 +0200
@@ -14,7 +14,7 @@
 print_depth 1;
 use_thy "LCF";
 use"simpdata.ML";
-use"pair.ML";
-use"fix.ML";
+use_thy"pair";
+use_thy"fix";
 
 val LCF_build_completed = ();   (*indicate successful build*)