equal
deleted
inserted
replaced
19 HOL-Main with explicit proof terms. |
19 HOL-Main with explicit proof terms. |
20 *} |
20 *} |
21 options [document = false, theory_qualifier = "HOL", |
21 options [document = false, theory_qualifier = "HOL", |
22 quick_and_dirty = false, record_proofs = 2, parallel_proofs = 0] |
22 quick_and_dirty = false, record_proofs = 2, parallel_proofs = 0] |
23 sessions "HOL-Library" |
23 sessions "HOL-Library" |
24 theories "HOL-Library.Old_Datatype" |
24 theories |
|
25 GCD |
|
26 Binomial |
|
27 "HOL-Library.Old_Datatype" |
25 files |
28 files |
26 "Tools/Quickcheck/Narrowing_Engine.hs" |
29 "Tools/Quickcheck/Narrowing_Engine.hs" |
27 "Tools/Quickcheck/PNF_Narrowing_Engine.hs" |
30 "Tools/Quickcheck/PNF_Narrowing_Engine.hs" |
28 |
31 |
29 session "HOL-Library" (main timing) in Library = HOL + |
32 session "HOL-Library" (main timing) in Library = HOL + |