BrowserSecurity
/
Core_DOM-dev
Archived
forked from afp-mirror/Core_DOM
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Renaming.

This commit is contained in:
Achim D. Brucker 2020-04-16 21:28:29 +01:00
parent 989597fc9d
commit c0b68703ef
45 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
Core_DOM/Core_DOM_Scope_Components/CITATION → Core_DOM/Core_SC_DOM/CITATION
View File

2
Core_DOM/Core_DOM_Scope_Components/ROOT → Core_DOM/Core_SC_DOM/ROOT
View File

@ -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"

0
Core_DOM/Core_DOM_Scope_Components/common/Core_DOM.thy → Core_DOM/Core_SC_DOM/common/Core_DOM.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/Core_DOM_Basic_Datatypes.thy → Core_DOM/Core_SC_DOM/common/Core_DOM_Basic_Datatypes.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/Core_DOM_Functions.thy → Core_DOM/Core_SC_DOM/common/Core_DOM_Functions.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/Core_DOM_Tests.thy → Core_DOM/Core_SC_DOM/common/Core_DOM_Tests.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/classes/BaseClass.thy → Core_DOM/Core_SC_DOM/common/classes/BaseClass.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/classes/CharacterDataClass.thy → Core_DOM/Core_SC_DOM/common/classes/CharacterDataClass.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/classes/DocumentClass.thy → Core_DOM/Core_SC_DOM/common/classes/DocumentClass.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/classes/NodeClass.thy → Core_DOM/Core_SC_DOM/common/classes/NodeClass.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/classes/ObjectClass.thy → Core_DOM/Core_SC_DOM/common/classes/ObjectClass.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/monads/BaseMonad.thy → Core_DOM/Core_SC_DOM/common/monads/BaseMonad.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/monads/CharacterDataMonad.thy → Core_DOM/Core_SC_DOM/common/monads/CharacterDataMonad.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/monads/DocumentMonad.thy → Core_DOM/Core_SC_DOM/common/monads/DocumentMonad.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/monads/ElementMonad.thy → Core_DOM/Core_SC_DOM/common/monads/ElementMonad.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/monads/NodeMonad.thy → Core_DOM/Core_SC_DOM/common/monads/NodeMonad.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/monads/ObjectMonad.thy → Core_DOM/Core_SC_DOM/common/monads/ObjectMonad.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/pointers/CharacterDataPointer.thy → Core_DOM/Core_SC_DOM/common/pointers/CharacterDataPointer.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/pointers/DocumentPointer.thy → Core_DOM/Core_SC_DOM/common/pointers/DocumentPointer.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/pointers/ElementPointer.thy → Core_DOM/Core_SC_DOM/common/pointers/ElementPointer.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/pointers/NodePointer.thy → Core_DOM/Core_SC_DOM/common/pointers/NodePointer.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/pointers/ObjectPointer.thy → Core_DOM/Core_SC_DOM/common/pointers/ObjectPointer.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/pointers/Ref.thy → Core_DOM/Core_SC_DOM/common/pointers/Ref.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/preliminaries/Heap_Error_Monad.thy → Core_DOM/Core_SC_DOM/common/preliminaries/Heap_Error_Monad.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/preliminaries/Hiding_Type_Variables.thy → Core_DOM/Core_SC_DOM/common/preliminaries/Hiding_Type_Variables.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/preliminaries/Testing_Utils.thy → Core_DOM/Core_SC_DOM/common/preliminaries/Testing_Utils.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Core_DOM_BaseTest.thy → Core_DOM/Core_SC_DOM/common/tests/Core_DOM_BaseTest.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Document-adoptNode.html → Core_DOM/Core_SC_DOM/common/tests/Document-adoptNode.html
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Document-adoptNode.html.orig → Core_DOM/Core_SC_DOM/common/tests/Document-adoptNode.html.orig
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Document-getElementById.html → Core_DOM/Core_SC_DOM/common/tests/Document-getElementById.html
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Document-getElementById.html.orig → Core_DOM/Core_SC_DOM/common/tests/Document-getElementById.html.orig
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Document_adoptNode.thy → Core_DOM/Core_SC_DOM/common/tests/Document_adoptNode.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Document_getElementById.thy → Core_DOM/Core_SC_DOM/common/tests/Document_getElementById.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Node-insertBefore.html → Core_DOM/Core_SC_DOM/common/tests/Node-insertBefore.html
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Node-insertBefore.html.orig → Core_DOM/Core_SC_DOM/common/tests/Node-insertBefore.html.orig
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Node-removeChild.html → Core_DOM/Core_SC_DOM/common/tests/Node-removeChild.html
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Node-removeChild.html.orig → Core_DOM/Core_SC_DOM/common/tests/Node-removeChild.html.orig
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Node_insertBefore.thy → Core_DOM/Core_SC_DOM/common/tests/Node_insertBefore.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/common/tests/Node_removeChild.thy → Core_DOM/Core_SC_DOM/common/tests/Node_removeChild.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/document/root.bib → Core_DOM/Core_SC_DOM/document/root.bib
View File

0
Core_DOM/Core_DOM_Scope_Components/document/root.tex → Core_DOM/Core_SC_DOM/document/root.tex
View File

0
Core_DOM/Core_DOM_Scope_Components/scope_components/Core_DOM_Heap_WF.thy → Core_DOM/Core_SC_DOM/scope_components/Core_DOM_Heap_WF.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/scope_components/classes/ElementClass.thy → Core_DOM/Core_SC_DOM/scope_components/classes/ElementClass.thy
View File

0
Core_DOM/Core_DOM_Scope_Components/scope_components/pointers/ShadowRootPointer.thy → Core_DOM/Core_SC_DOM/scope_components/pointers/ShadowRootPointer.thy
View File

2
Core_DOM/ROOTS
View File

@ -1,2 +1,2 @@
Core_DOM
Core_DOM_Scope_Components
Core_SC_DOM