src/LCF/ROOT.ML
changeset 72 099d949fe467
parent 0 a5a9c433f639
child 121 d392174734e9
--- a/src/LCF/ROOT.ML	Fri Oct 22 11:42:02 1993 +0100
+++ b/src/LCF/ROOT.ML	Fri Oct 22 13:35:15 1993 +0100
@@ -11,6 +11,8 @@
 val banner = "Logic for Computable Functions (in FOL)";
 writeln banner;
 
+set_loadpath [".", "../FOL"];
+
 print_depth 1;
 use_thy "lcf";
 use"simpdata.ML";