equal
deleted
inserted
replaced
56 Realizers |
56 Realizers |
57 Refute |
57 Refute |
58 document_files "root.bib" "root.tex" |
58 document_files "root.bib" "root.tex" |
59 |
59 |
60 session "HOL-Analysis" (main timing) in Analysis = HOL + |
60 session "HOL-Analysis" (main timing) in Analysis = HOL + |
61 options [document_tags = "theorem%important,corollary%important,proposition%important,%unimportant", |
61 options [document_tags = "theorem%important,corollary%important,proposition%important,class%important,instantiation%important,subsubsection%unimportant,%unimportant", |
62 document_variants = "document:manual=-proof,-ML,-unimportant"] |
62 document_variants = "document:manual=-proof,-ML,-unimportant"] |
63 sessions |
63 sessions |
64 "HOL-Library" |
64 "HOL-Library" |
65 "HOL-Computational_Algebra" |
65 "HOL-Computational_Algebra" |
66 theories |
66 theories |