diff --git a/Core_DOM/ROOT b/Core_DOM/ROOT
index 798cf8e..c55bdd9 100644
--- a/Core_DOM/ROOT
+++ b/Core_DOM/ROOT
@@ -1,6 +1,6 @@
 chapter AFP
 
-session "Core_DOM-devel" (AFP) = "HOL-Library" + 
+session "Core_DOM-local" (AFP) = "HOL-Library" + 
   options [timeout = 600] 
   theories
     Core_DOM