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