From c0b68703efc171bccd9d87ced79825260d3661cd Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Thu, 16 Apr 2020 21:28:29 +0100 Subject: [PATCH] Renaming. --- Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/CITATION | 0 Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/ROOT | 2 +- .../common/Core_DOM.thy | 0 .../common/Core_DOM_Basic_Datatypes.thy | 0 .../common/Core_DOM_Functions.thy | 0 .../common/Core_DOM_Tests.thy | 0 .../common/classes/BaseClass.thy | 0 .../common/classes/CharacterDataClass.thy | 0 .../common/classes/DocumentClass.thy | 0 .../common/classes/NodeClass.thy | 0 .../common/classes/ObjectClass.thy | 0 .../common/monads/BaseMonad.thy | 0 .../common/monads/CharacterDataMonad.thy | 0 .../common/monads/DocumentMonad.thy | 0 .../common/monads/ElementMonad.thy | 0 .../common/monads/NodeMonad.thy | 0 .../common/monads/ObjectMonad.thy | 0 .../common/pointers/CharacterDataPointer.thy | 0 .../common/pointers/DocumentPointer.thy | 0 .../common/pointers/ElementPointer.thy | 0 .../common/pointers/NodePointer.thy | 0 .../common/pointers/ObjectPointer.thy | 0 .../common/pointers/Ref.thy | 0 .../common/preliminaries/Heap_Error_Monad.thy | 0 .../common/preliminaries/Hiding_Type_Variables.thy | 0 .../common/preliminaries/Testing_Utils.thy | 0 .../common/tests/Core_DOM_BaseTest.thy | 0 .../common/tests/Document-adoptNode.html | 0 .../common/tests/Document-adoptNode.html.orig | 0 .../common/tests/Document-getElementById.html | 0 .../common/tests/Document-getElementById.html.orig | 0 .../common/tests/Document_adoptNode.thy | 0 .../common/tests/Document_getElementById.thy | 0 .../common/tests/Node-insertBefore.html | 0 .../common/tests/Node-insertBefore.html.orig | 0 .../common/tests/Node-removeChild.html | 0 .../common/tests/Node-removeChild.html.orig | 0 .../common/tests/Node_insertBefore.thy | 0 .../common/tests/Node_removeChild.thy | 0 .../document/root.bib | 0 .../document/root.tex | 0 .../scope_components/Core_DOM_Heap_WF.thy | 0 .../scope_components/classes/ElementClass.thy | 0 .../scope_components/pointers/ShadowRootPointer.thy | 0 Core_DOM/ROOTS | 2 +- 45 files changed, 2 insertions(+), 2 deletions(-) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/CITATION (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/ROOT (85%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/Core_DOM.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/Core_DOM_Basic_Datatypes.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/Core_DOM_Functions.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/Core_DOM_Tests.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/classes/BaseClass.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/classes/CharacterDataClass.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/classes/DocumentClass.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/classes/NodeClass.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/classes/ObjectClass.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/monads/BaseMonad.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/monads/CharacterDataMonad.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/monads/DocumentMonad.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/monads/ElementMonad.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/monads/NodeMonad.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/monads/ObjectMonad.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/pointers/CharacterDataPointer.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/pointers/DocumentPointer.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/pointers/ElementPointer.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/pointers/NodePointer.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/pointers/ObjectPointer.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/pointers/Ref.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/preliminaries/Heap_Error_Monad.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/preliminaries/Hiding_Type_Variables.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/preliminaries/Testing_Utils.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Core_DOM_BaseTest.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Document-adoptNode.html (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Document-adoptNode.html.orig (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Document-getElementById.html (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Document-getElementById.html.orig (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Document_adoptNode.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Document_getElementById.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Node-insertBefore.html (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Node-insertBefore.html.orig (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Node-removeChild.html (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Node-removeChild.html.orig (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Node_insertBefore.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/common/tests/Node_removeChild.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/document/root.bib (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/document/root.tex (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/scope_components/Core_DOM_Heap_WF.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/scope_components/classes/ElementClass.thy (100%) rename Core_DOM/{Core_DOM_Scope_Components => Core_SC_DOM}/scope_components/pointers/ShadowRootPointer.thy (100%) diff --git a/Core_DOM/Core_DOM_Scope_Components/CITATION b/Core_DOM/Core_SC_DOM/CITATION similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/CITATION rename to Core_DOM/Core_SC_DOM/CITATION diff --git a/Core_DOM/Core_DOM_Scope_Components/ROOT b/Core_DOM/Core_SC_DOM/ROOT similarity index 85% rename from Core_DOM/Core_DOM_Scope_Components/ROOT rename to Core_DOM/Core_SC_DOM/ROOT index 5481852..4b337e3 100644 --- a/Core_DOM/Core_DOM_Scope_Components/ROOT +++ b/Core_DOM/Core_SC_DOM/ROOT @@ -1,6 +1,6 @@ chapter AFP -session "Core_DOM_Scope_Components" (AFP) = "HOL-Library" + +session "Core_SC_DOM" (AFP) = "HOL-Library" + options [timeout = 1200] directories "common" diff --git a/Core_DOM/Core_DOM_Scope_Components/common/Core_DOM.thy b/Core_DOM/Core_SC_DOM/common/Core_DOM.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/Core_DOM.thy rename to Core_DOM/Core_SC_DOM/common/Core_DOM.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/Core_DOM_Basic_Datatypes.thy b/Core_DOM/Core_SC_DOM/common/Core_DOM_Basic_Datatypes.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/Core_DOM_Basic_Datatypes.thy rename to Core_DOM/Core_SC_DOM/common/Core_DOM_Basic_Datatypes.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/Core_DOM_Functions.thy b/Core_DOM/Core_SC_DOM/common/Core_DOM_Functions.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/Core_DOM_Functions.thy rename to Core_DOM/Core_SC_DOM/common/Core_DOM_Functions.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/Core_DOM_Tests.thy b/Core_DOM/Core_SC_DOM/common/Core_DOM_Tests.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/Core_DOM_Tests.thy rename to Core_DOM/Core_SC_DOM/common/Core_DOM_Tests.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/classes/BaseClass.thy b/Core_DOM/Core_SC_DOM/common/classes/BaseClass.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/classes/BaseClass.thy rename to Core_DOM/Core_SC_DOM/common/classes/BaseClass.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/classes/CharacterDataClass.thy b/Core_DOM/Core_SC_DOM/common/classes/CharacterDataClass.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/classes/CharacterDataClass.thy rename to Core_DOM/Core_SC_DOM/common/classes/CharacterDataClass.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/classes/DocumentClass.thy b/Core_DOM/Core_SC_DOM/common/classes/DocumentClass.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/classes/DocumentClass.thy rename to Core_DOM/Core_SC_DOM/common/classes/DocumentClass.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/classes/NodeClass.thy b/Core_DOM/Core_SC_DOM/common/classes/NodeClass.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/classes/NodeClass.thy rename to Core_DOM/Core_SC_DOM/common/classes/NodeClass.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/classes/ObjectClass.thy b/Core_DOM/Core_SC_DOM/common/classes/ObjectClass.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/classes/ObjectClass.thy rename to Core_DOM/Core_SC_DOM/common/classes/ObjectClass.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/monads/BaseMonad.thy b/Core_DOM/Core_SC_DOM/common/monads/BaseMonad.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/monads/BaseMonad.thy rename to Core_DOM/Core_SC_DOM/common/monads/BaseMonad.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/monads/CharacterDataMonad.thy b/Core_DOM/Core_SC_DOM/common/monads/CharacterDataMonad.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/monads/CharacterDataMonad.thy rename to Core_DOM/Core_SC_DOM/common/monads/CharacterDataMonad.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/monads/DocumentMonad.thy b/Core_DOM/Core_SC_DOM/common/monads/DocumentMonad.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/monads/DocumentMonad.thy rename to Core_DOM/Core_SC_DOM/common/monads/DocumentMonad.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/monads/ElementMonad.thy b/Core_DOM/Core_SC_DOM/common/monads/ElementMonad.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/monads/ElementMonad.thy rename to Core_DOM/Core_SC_DOM/common/monads/ElementMonad.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/monads/NodeMonad.thy b/Core_DOM/Core_SC_DOM/common/monads/NodeMonad.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/monads/NodeMonad.thy rename to Core_DOM/Core_SC_DOM/common/monads/NodeMonad.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/monads/ObjectMonad.thy b/Core_DOM/Core_SC_DOM/common/monads/ObjectMonad.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/monads/ObjectMonad.thy rename to Core_DOM/Core_SC_DOM/common/monads/ObjectMonad.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/pointers/CharacterDataPointer.thy b/Core_DOM/Core_SC_DOM/common/pointers/CharacterDataPointer.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/pointers/CharacterDataPointer.thy rename to Core_DOM/Core_SC_DOM/common/pointers/CharacterDataPointer.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/pointers/DocumentPointer.thy b/Core_DOM/Core_SC_DOM/common/pointers/DocumentPointer.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/pointers/DocumentPointer.thy rename to Core_DOM/Core_SC_DOM/common/pointers/DocumentPointer.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/pointers/ElementPointer.thy b/Core_DOM/Core_SC_DOM/common/pointers/ElementPointer.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/pointers/ElementPointer.thy rename to Core_DOM/Core_SC_DOM/common/pointers/ElementPointer.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/pointers/NodePointer.thy b/Core_DOM/Core_SC_DOM/common/pointers/NodePointer.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/pointers/NodePointer.thy rename to Core_DOM/Core_SC_DOM/common/pointers/NodePointer.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/pointers/ObjectPointer.thy b/Core_DOM/Core_SC_DOM/common/pointers/ObjectPointer.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/pointers/ObjectPointer.thy rename to Core_DOM/Core_SC_DOM/common/pointers/ObjectPointer.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/pointers/Ref.thy b/Core_DOM/Core_SC_DOM/common/pointers/Ref.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/pointers/Ref.thy rename to Core_DOM/Core_SC_DOM/common/pointers/Ref.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/preliminaries/Heap_Error_Monad.thy b/Core_DOM/Core_SC_DOM/common/preliminaries/Heap_Error_Monad.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/preliminaries/Heap_Error_Monad.thy rename to Core_DOM/Core_SC_DOM/common/preliminaries/Heap_Error_Monad.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/preliminaries/Hiding_Type_Variables.thy b/Core_DOM/Core_SC_DOM/common/preliminaries/Hiding_Type_Variables.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/preliminaries/Hiding_Type_Variables.thy rename to Core_DOM/Core_SC_DOM/common/preliminaries/Hiding_Type_Variables.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/preliminaries/Testing_Utils.thy b/Core_DOM/Core_SC_DOM/common/preliminaries/Testing_Utils.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/preliminaries/Testing_Utils.thy rename to Core_DOM/Core_SC_DOM/common/preliminaries/Testing_Utils.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Core_DOM_BaseTest.thy b/Core_DOM/Core_SC_DOM/common/tests/Core_DOM_BaseTest.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Core_DOM_BaseTest.thy rename to Core_DOM/Core_SC_DOM/common/tests/Core_DOM_BaseTest.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Document-adoptNode.html b/Core_DOM/Core_SC_DOM/common/tests/Document-adoptNode.html similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Document-adoptNode.html rename to Core_DOM/Core_SC_DOM/common/tests/Document-adoptNode.html diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Document-adoptNode.html.orig b/Core_DOM/Core_SC_DOM/common/tests/Document-adoptNode.html.orig similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Document-adoptNode.html.orig rename to Core_DOM/Core_SC_DOM/common/tests/Document-adoptNode.html.orig diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Document-getElementById.html b/Core_DOM/Core_SC_DOM/common/tests/Document-getElementById.html similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Document-getElementById.html rename to Core_DOM/Core_SC_DOM/common/tests/Document-getElementById.html diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Document-getElementById.html.orig b/Core_DOM/Core_SC_DOM/common/tests/Document-getElementById.html.orig similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Document-getElementById.html.orig rename to Core_DOM/Core_SC_DOM/common/tests/Document-getElementById.html.orig diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Document_adoptNode.thy b/Core_DOM/Core_SC_DOM/common/tests/Document_adoptNode.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Document_adoptNode.thy rename to Core_DOM/Core_SC_DOM/common/tests/Document_adoptNode.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Document_getElementById.thy b/Core_DOM/Core_SC_DOM/common/tests/Document_getElementById.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Document_getElementById.thy rename to Core_DOM/Core_SC_DOM/common/tests/Document_getElementById.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Node-insertBefore.html b/Core_DOM/Core_SC_DOM/common/tests/Node-insertBefore.html similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Node-insertBefore.html rename to Core_DOM/Core_SC_DOM/common/tests/Node-insertBefore.html diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Node-insertBefore.html.orig b/Core_DOM/Core_SC_DOM/common/tests/Node-insertBefore.html.orig similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Node-insertBefore.html.orig rename to Core_DOM/Core_SC_DOM/common/tests/Node-insertBefore.html.orig diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Node-removeChild.html b/Core_DOM/Core_SC_DOM/common/tests/Node-removeChild.html similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Node-removeChild.html rename to Core_DOM/Core_SC_DOM/common/tests/Node-removeChild.html diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Node-removeChild.html.orig b/Core_DOM/Core_SC_DOM/common/tests/Node-removeChild.html.orig similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Node-removeChild.html.orig rename to Core_DOM/Core_SC_DOM/common/tests/Node-removeChild.html.orig diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Node_insertBefore.thy b/Core_DOM/Core_SC_DOM/common/tests/Node_insertBefore.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Node_insertBefore.thy rename to Core_DOM/Core_SC_DOM/common/tests/Node_insertBefore.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/common/tests/Node_removeChild.thy b/Core_DOM/Core_SC_DOM/common/tests/Node_removeChild.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/common/tests/Node_removeChild.thy rename to Core_DOM/Core_SC_DOM/common/tests/Node_removeChild.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/document/root.bib b/Core_DOM/Core_SC_DOM/document/root.bib similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/document/root.bib rename to Core_DOM/Core_SC_DOM/document/root.bib diff --git a/Core_DOM/Core_DOM_Scope_Components/document/root.tex b/Core_DOM/Core_SC_DOM/document/root.tex similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/document/root.tex rename to Core_DOM/Core_SC_DOM/document/root.tex diff --git a/Core_DOM/Core_DOM_Scope_Components/scope_components/Core_DOM_Heap_WF.thy b/Core_DOM/Core_SC_DOM/scope_components/Core_DOM_Heap_WF.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/scope_components/Core_DOM_Heap_WF.thy rename to Core_DOM/Core_SC_DOM/scope_components/Core_DOM_Heap_WF.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/scope_components/classes/ElementClass.thy b/Core_DOM/Core_SC_DOM/scope_components/classes/ElementClass.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/scope_components/classes/ElementClass.thy rename to Core_DOM/Core_SC_DOM/scope_components/classes/ElementClass.thy diff --git a/Core_DOM/Core_DOM_Scope_Components/scope_components/pointers/ShadowRootPointer.thy b/Core_DOM/Core_SC_DOM/scope_components/pointers/ShadowRootPointer.thy similarity index 100% rename from Core_DOM/Core_DOM_Scope_Components/scope_components/pointers/ShadowRootPointer.thy rename to Core_DOM/Core_SC_DOM/scope_components/pointers/ShadowRootPointer.thy diff --git a/Core_DOM/ROOTS b/Core_DOM/ROOTS index 9d19f69..34c72a8 100644 --- a/Core_DOM/ROOTS +++ b/Core_DOM/ROOTS @@ -1,2 +1,2 @@ Core_DOM -Core_DOM_Scope_Components +Core_SC_DOM