# HG changeset patch
# User wenzelm
# Date 1507400403 -7200
# Node ID 8645d56f96e16b9c21f793a260cec95c754b61b5
# Parent  cf0187ca3a5760f74df9412bf8757881eafa26ad
clarified session structure;

diff -r cf0187ca3a57 -r 8645d56f96e1 src/HOL/ROOT
--- a/src/HOL/ROOT	Sat Oct 07 15:21:25 2017 +0200
+++ b/src/HOL/ROOT	Sat Oct 07 20:20:03 2017 +0200
@@ -15,8 +15,7 @@
   description {*
     HOL-Main with explicit proof terms.
   *}
-  options [document = false, theory_qualifier = "HOL",
-    quick_and_dirty = false, record_proofs = 2, parallel_proofs = 0]
+  options [document = false, quick_and_dirty = false, record_proofs = 2, parallel_proofs = 0]
   sessions
     "HOL-Library"
   theories