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

Fixed ROOT file after renaming.

This commit is contained in:
Achim D. Brucker 2020-05-25 10:55:23 +01:00
parent 3f02e81f83
commit 64ac3d3786
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Core_DOM/Core_SC_DOM/ROOT
View File

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