equal
deleted
inserted
replaced
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, parallel_proofs = 0] |
21 options [document = false, quick_and_dirty = false, record_proofs = 2, parallel_proofs = 0] |
22 theories Proofs (*sequential change of global flag!*) |
|
23 theories "~~/src/HOL/Library/Old_Datatype" |
22 theories "~~/src/HOL/Library/Old_Datatype" |
24 files |
23 files |
25 "Tools/Quickcheck/Narrowing_Engine.hs" |
24 "Tools/Quickcheck/Narrowing_Engine.hs" |
26 "Tools/Quickcheck/PNF_Narrowing_Engine.hs" |
25 "Tools/Quickcheck/PNF_Narrowing_Engine.hs" |
27 |
26 |