--- a/Subst/ROOT.ML Thu Feb 24 14:45:57 1994 +0100
+++ b/Subst/ROOT.ML Wed Mar 02 12:26:55 1994 +0100
@@ -19,12 +19,13 @@
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";