--- a/thys/Locally-Nameless-Sigma/ROOT.ML
+++ b/thys/Locally-Nameless-Sigma/ROOT.ML
@@ -1,3 +1,2 @@
 no_document use_thy "~~/src/HOL/Lambda/Commutation";
-use_thy "Sigma/ParRed";
-use_thy "Sigma/TypedSigma";
+use_thy "Locally_Nameless_Sigma";