diff -r 187b73f64023 -r 8c0c3a67d9e1 Subst/ROOT.ML
--- 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";