diff --git a/Core_DOM/Core_SC_DOM/ROOT b/Core_DOM/Core_SC_DOM/ROOT
index b9ba03f..b74ac64 100644
--- a/Core_DOM/Core_SC_DOM/ROOT
+++ b/Core_DOM/Core_SC_DOM/ROOT
@@ -9,9 +9,9 @@ session "Core_SC_DOM" (AFP) = "HOL-Library" +
     "common/pointers"
     "common/preliminaries"
     "common/tests"
-    "scope_components" 
-    "scope_components/classes" 
-    "scope_components/pointers" 
+    "safely_composable" 
+    "safely_composable/classes" 
+    "safely_composable/pointers" 
   theories
     Core_DOM
     Core_DOM_Tests