equal
deleted
inserted
replaced
118 "../iman.sty" |
118 "../iman.sty" |
119 "../extra.sty" |
119 "../extra.sty" |
120 "../ttbox.sty" |
120 "../ttbox.sty" |
121 "../proof.sty" |
121 "../proof.sty" |
122 "../manual.bib" |
122 "../manual.bib" |
|
123 "document/build" |
|
124 "document/root.tex" |
|
125 |
|
126 session "Logics-HOL" (doc) in "HOL" = Pure + |
|
127 options [document_variants = "logics-HOL"] |
|
128 theories |
|
129 files |
|
130 "../iman.sty" |
|
131 "../extra.sty" |
|
132 "../ttbox.sty" |
|
133 "../proof.sty" |
|
134 "../manual.bib" |
|
135 "../Logics/document/syntax.tex" |
123 "document/build" |
136 "document/build" |
124 "document/root.tex" |
137 "document/root.tex" |
125 |
138 |
126 session Main (doc) in "Main" = HOL + |
139 session Main (doc) in "Main" = HOL + |
127 options [document_variants = "main"] |
140 options [document_variants = "main"] |