Subst/ROOT.ML

 utlemmas     -  definition of occurs and vars_of for terms
 subst        -  substitutions
 unifier      -  specification of unification and conditions for 
                 correctness and termination
 
-To load, go to the parent directory and type use"Substitutions/ROOT.ML";
+To load, go to the parent directory and type use"Subst/ROOT.ML";
 *)
 
 HOL_build_completed;    (*Cause examples to fail if HOL did*)
 
 writeln"Root file for Substitutions and Unification";
+loadpath := ["Subst"];
 use_thy "Subst/Setplus";
 
 use_thy "Subst/AList";
 use_thy "Subst/UTerm";
 use_thy "Subst/UTLemmas";