# HG changeset patch
# User wenzelm
# Date 1481737074 -3600
# Node ID deebf3ff50e69bd2da6c3b3ae324395867a58881
# Parent  a504a3dec35a46e7d557bbcdaa6ac8b1453122fb
simplified options;

diff -r a504a3dec35a -r deebf3ff50e6 src/HOL/ROOT
--- 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"