equal
deleted
inserted
replaced
13 |
13 |
14 session "HOL-Proofs" (timing) = Pure + |
14 session "HOL-Proofs" (timing) = Pure + |
15 description {* |
15 description {* |
16 HOL-Main with explicit proof terms. |
16 HOL-Main with explicit proof terms. |
17 *} |
17 *} |
18 options [document = false, theory_qualifier = "HOL", |
18 options [document = false, quick_and_dirty = false, record_proofs = 2, parallel_proofs = 0] |
19 quick_and_dirty = false, record_proofs = 2, parallel_proofs = 0] |
|
20 sessions |
19 sessions |
21 "HOL-Library" |
20 "HOL-Library" |
22 theories |
21 theories |
23 "HOL-Library.Old_Datatype" |
22 "HOL-Library.Old_Datatype" |
24 |
23 |