From cca8ecb40754f39513688ba1744eb52bba407e21 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 5 Jan 2019 17:58:34 +0000
Subject: [PATCH] Renamed session to avoid conflict with activated AFP.

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

diff --git a/Core_DOM/ROOT b/Core_DOM/ROOT
index b1ad135..1b1a730 100644
--- a/Core_DOM/ROOT
+++ b/Core_DOM/ROOT
@@ -1,6 +1,6 @@
 chapter AFP
 
-session "Core_DOM" (AFP) = "HOL-Library" + 
+session "Core_DOM-devel" (AFP) = "HOL-Library" + 
   options [timeout = 4800, document = pdf, document_variants="document:outline=/proof,/ML",document_output=output]
   theories
     Core_DOM