equal
deleted
inserted
replaced
80 "../proof.sty" |
80 "../proof.sty" |
81 "../manual.bib" |
81 "../manual.bib" |
82 "document/build" |
82 "document/build" |
83 "document/root.tex" |
83 "document/root.tex" |
84 |
84 |
85 session IsarRef (doc) in "IsarRef/Thy" = HOL + |
85 session IsarRef (doc) in "IsarRef" = HOL + |
86 options [browser_info = false, document = false, |
86 options [document_variants = "isar-ref", quick_and_dirty, thy_output_source] |
87 document_dump = document, document_dump_mode = "tex", |
|
88 quick_and_dirty, thy_output_source] |
|
89 theories |
87 theories |
90 Preface |
88 Preface |
91 Synopsis |
89 Synopsis |
92 Framework |
90 Framework |
93 First_Order_Logic |
91 First_Order_Logic |
100 Generic |
98 Generic |
101 HOL_Specific |
99 HOL_Specific |
102 Quick_Reference |
100 Quick_Reference |
103 Symbols |
101 Symbols |
104 ML_Tactic |
102 ML_Tactic |
|
103 files |
|
104 "../pdfsetup.sty" |
|
105 "../iman.sty" |
|
106 "../extra.sty" |
|
107 "../ttbox.sty" |
|
108 "../proof.sty" |
|
109 "../isar.sty" |
|
110 "../manual.bib" |
|
111 "document/build" |
|
112 "document/isar-vm.eps" |
|
113 "document/isar-vm.pdf" |
|
114 "document/isar-vm.svg" |
|
115 "document/root.tex" |
|
116 "document/showsymbols" |
|
117 "document/style.sty" |
105 |
118 |
106 session LaTeXsugar (doc) in "LaTeXsugar" = HOL + |
119 session LaTeXsugar (doc) in "LaTeXsugar" = HOL + |
107 options [document_variants = "sugar"] |
120 options [document_variants = "sugar"] |
108 theories [document = ""] |
121 theories [document = ""] |
109 "~~/src/HOL/Library/LaTeXsugar" |
122 "~~/src/HOL/Library/LaTeXsugar" |