src/HOL/ROOT
changeset 64569 deebf3ff50e6
parent 64555 628b271c5b8b
child 64582 3d20ded18f14
equal deleted inserted replaced
64568:a504a3dec35a 64569:deebf3ff50e6
    16 
    16 
    17 session "HOL-Proofs" (timing) = Pure +
    17 session "HOL-Proofs" (timing) = Pure +
    18   description {*
    18   description {*
    19     HOL-Main with explicit proof terms.
    19     HOL-Main with explicit proof terms.
    20   *}
    20   *}
    21   options [document = false, quick_and_dirty = false]
    21   options [document = false, quick_and_dirty = false, parallel_proofs = 0]
    22   theories Proofs (*sequential change of global flag!*)
    22   theories Proofs (*sequential change of global flag!*)
    23   theories List
    23   theories "~~/src/HOL/Library/Old_Datatype"
    24   theories [checkpoint] "~~/src/HOL/Library/Old_Datatype"
       
    25   files
    24   files
    26     "Tools/Quickcheck/Narrowing_Engine.hs"
    25     "Tools/Quickcheck/Narrowing_Engine.hs"
    27     "Tools/Quickcheck/PNF_Narrowing_Engine.hs"
    26     "Tools/Quickcheck/PNF_Narrowing_Engine.hs"
    28 
    27 
    29 session "HOL-Library" (main timing) in Library = HOL +
    28 session "HOL-Library" (main timing) in Library = HOL +