simplified options;
authorwenzelm
Wed Dec 14 18:37:54 2016 +0100 (2016-12-14)
changeset 64569deebf3ff50e6
parent 64568 a504a3dec35a
child 64570 a2e7862e7dd5
simplified options;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Wed Dec 14 18:22:18 2016 +0100
     1.2 +++ b/src/HOL/ROOT	Wed Dec 14 18:37:54 2016 +0100
     1.3 @@ -18,10 +18,9 @@
     1.4    description {*
     1.5      HOL-Main with explicit proof terms.
     1.6    *}
     1.7 -  options [document = false, quick_and_dirty = false]
     1.8 +  options [document = false, quick_and_dirty = false, parallel_proofs = 0]
     1.9    theories Proofs (*sequential change of global flag!*)
    1.10 -  theories List
    1.11 -  theories [checkpoint] "~~/src/HOL/Library/Old_Datatype"
    1.12 +  theories "~~/src/HOL/Library/Old_Datatype"
    1.13    files
    1.14      "Tools/Quickcheck/Narrowing_Engine.hs"
    1.15      "Tools/Quickcheck/PNF_Narrowing_Engine.hs"