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