src/CCL/ROOT.ML
changeset 72 099d949fe467
parent 59 ab555029f583
child 121 d392174734e9
--- a/src/CCL/ROOT.ML	Fri Oct 22 11:42:02 1993 +0100
+++ b/src/CCL/ROOT.ML	Fri Oct 22 13:35:15 1993 +0100
@@ -11,7 +11,7 @@
 (* Higher-Order Set Theory Extension to FOL *)
 (*      used as basis for CCL               *)
 
-(*set_load_path [".", "../FOL"]; wait for new Readthy*)
+set_loadpath [".", "../FOL"];
 
 use_thy "set";
 use     "subset.ML";