src/LCF/ROOT.ML
changeset 121 d392174734e9
parent 72 099d949fe467
child 1296 ae31bb7774a7
--- a/src/LCF/ROOT.ML	Mon Nov 15 14:41:25 1993 +0100
+++ b/src/LCF/ROOT.ML	Tue Nov 16 14:10:19 1993 +0100
@@ -11,10 +11,8 @@
 val banner = "Logic for Computable Functions (in FOL)";
 writeln banner;
 
-set_loadpath [".", "../FOL"];
-
 print_depth 1;
-use_thy "lcf";
+use_thy "LCF";
 use"simpdata.ML";
 use"pair.ML";
 use"fix.ML";