src/HOL/ROOT
changeset 64569 deebf3ff50e6
parent 64555 628b271c5b8b
child 64582 3d20ded18f14
--- a/src/HOL/ROOT	Wed Dec 14 18:22:18 2016 +0100
+++ b/src/HOL/ROOT	Wed Dec 14 18:37:54 2016 +0100
@@ -18,10 +18,9 @@
   description {*
     HOL-Main with explicit proof terms.
   *}
-  options [document = false, quick_and_dirty = false]
+  options [document = false, quick_and_dirty = false, parallel_proofs = 0]
   theories Proofs (*sequential change of global flag!*)
-  theories List
-  theories [checkpoint] "~~/src/HOL/Library/Old_Datatype"
+  theories "~~/src/HOL/Library/Old_Datatype"
   files
     "Tools/Quickcheck/Narrowing_Engine.hs"
     "Tools/Quickcheck/PNF_Narrowing_Engine.hs"