src/HOL/ROOT

--- a/src/HOL/ROOT	Sun Apr 09 19:56:52 2017 +0200
+++ b/src/HOL/ROOT	Sun Apr 09 20:17:00 2017 +0200
@@ -18,8 +18,7 @@
   description {*
     HOL-Main with explicit proof terms.
   *}
-  options [document = false, quick_and_dirty = false, parallel_proofs = 0]
-  theories Proofs (*sequential change of global flag!*)
+  options [document = false, quick_and_dirty = false, record_proofs = 2, parallel_proofs = 0]
   theories "~~/src/HOL/Library/Old_Datatype"
   files
     "Tools/Quickcheck/Narrowing_Engine.hs"