--- a/Subst/ROOT.ML Tue Nov 09 16:31:03 1993 +0100
+++ b/Subst/ROOT.ML Tue Nov 16 14:14:22 1993 +0100
@@ -25,12 +25,12 @@
HOL_build_completed; (*Cause examples to fail if HOL did*)
writeln"Root file for Substitutions and Unification";
-use_thy "Subst/setplus";
+use_thy "Subst/Setplus";
-use_thy "Subst/alist";
-use_thy "Subst/uterm";
-use_thy "Subst/utlemmas";
+use_thy "Subst/AList";
+use_thy "Subst/UTerm";
+use_thy "Subst/UTLemmas";
-use_thy "Subst/subst";
-use_thy "Subst/unifier";
+use_thy "Subst/Subst";
+use_thy "Subst/Unifier";
writeln"END: Root file for Substitutions and Unification";