changeset 70634 | 0f8742b5a9e8 |
parent 70525 | 1615b6808192 |
child 70646 | a4d265a6c5cc |
70633:b99b925dbd84 | 70634:0f8742b5a9e8 |
---|---|
3 session HOL (main) = Pure + |
3 session HOL (main) = Pure + |
4 description " |
4 description " |
5 Classical Higher-order Logic. |
5 Classical Higher-order Logic. |
6 " |
6 " |
7 options [strict_facts] |
7 options [strict_facts] |
8 theories |
8 theories [dump_checkpoint] |
9 Main (global) |
9 Main (global) |
10 Complex_Main (global) |
10 Complex_Main (global) |
11 document_files |
11 document_files |
12 "root.bib" |
12 "root.bib" |
13 "root.tex" |
13 "root.tex" |
62 options [document_tags = "theorem%important,corollary%important,proposition%important,class%important,instantiation%important,subsubsection%unimportant,%unimportant", |
62 options [document_tags = "theorem%important,corollary%important,proposition%important,class%important,instantiation%important,subsubsection%unimportant,%unimportant", |
63 document_variants = "document:manual=-proof,-ML,-unimportant"] |
63 document_variants = "document:manual=-proof,-ML,-unimportant"] |
64 sessions |
64 sessions |
65 "HOL-Library" |
65 "HOL-Library" |
66 "HOL-Computational_Algebra" |
66 "HOL-Computational_Algebra" |
67 theories |
67 theories [dump_checkpoint] |
68 Analysis |
68 Analysis |
69 document_files |
69 document_files |
70 "root.tex" |
70 "root.tex" |
71 "root.bib" |
71 "root.bib" |
72 |
72 |