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

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

diff --git a/UPF/ROOT b/UPF/ROOT
index 78db805..c1c3e30 100644
--- a/UPF/ROOT
+++ b/UPF/ROOT
@@ -1,6 +1,6 @@
 chapter AFP
 
-session "UPF" (AFP) = HOL +
+session "UPF-devel" (AFP) = HOL +
   description {* The Unified Policy Framework (UPF) *}
   options [timeout = 300]
   theories