From af3aa1bcf93245f6c658d7d9f0f853c4eecededc Mon Sep 17 00:00:00 2001
From: Michael Herzberg <michael@mherzberg.de>
Date: Wed, 20 Feb 2019 13:53:34 +0000
Subject: [PATCH] Renamed session back to Core_DOM.

---
 Core_DOM/ROOT | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Core_DOM/ROOT b/Core_DOM/ROOT
index 798cf8e..1241f3d 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" = "HOL-Library" +
   options [timeout = 600] 
   theories
     Core_DOM