From 64ac3d3786e34b59b9609fed7a4f1c7c88b6756e Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 25 May 2020 10:55:23 +0100
Subject: [PATCH] Fixed ROOT file after renaming.

---
 Core_DOM/Core_SC_DOM/ROOT | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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