equal
deleted
inserted
replaced
6 "../prepare_document" |
6 "../prepare_document" |
7 "../pdfsetup.sty" |
7 "../pdfsetup.sty" |
8 "../iman.sty" |
8 "../iman.sty" |
9 "../extra.sty" |
9 "../extra.sty" |
10 "../isar.sty" |
10 "../isar.sty" |
11 "../proof.sty" |
|
12 "../manual.bib" |
11 "../manual.bib" |
13 "document/build" |
12 "document/build" |
14 "document/root.tex" |
13 "document/root.tex" |
15 "document/style.sty" |
14 "document/style.sty" |
16 |
15 |
29 "../prepare_document" |
28 "../prepare_document" |
30 "../pdfsetup.sty" |
29 "../pdfsetup.sty" |
31 "../iman.sty" |
30 "../iman.sty" |
32 "../extra.sty" |
31 "../extra.sty" |
33 "../isar.sty" |
32 "../isar.sty" |
34 "../proof.sty" |
|
35 "../manual.bib" |
33 "../manual.bib" |
36 "document/adapt.tex" |
34 "document/adapt.tex" |
37 "document/architecture.tex" |
35 "document/architecture.tex" |
38 "document/build" |
36 "document/build" |
39 "document/root.tex" |
37 "document/root.tex" |
63 "../prepare_document" |
61 "../prepare_document" |
64 "../pdfsetup.sty" |
62 "../pdfsetup.sty" |
65 "../iman.sty" |
63 "../iman.sty" |
66 "../extra.sty" |
64 "../extra.sty" |
67 "../ttbox.sty" |
65 "../ttbox.sty" |
68 "../proof.sty" |
|
69 "../manual.bib" |
66 "../manual.bib" |
70 "document/build" |
67 "document/build" |
71 "document/root.tex" |
68 "document/root.tex" |
72 |
69 |
73 session IsarImplementation (doc) in "IsarImplementation" = HOL + |
70 session IsarImplementation (doc) in "IsarImplementation" = HOL + |
87 "../prepare_document" |
84 "../prepare_document" |
88 "../pdfsetup.sty" |
85 "../pdfsetup.sty" |
89 "../iman.sty" |
86 "../iman.sty" |
90 "../extra.sty" |
87 "../extra.sty" |
91 "../isar.sty" |
88 "../isar.sty" |
92 "../proof.sty" |
|
93 "../ttbox.sty" |
89 "../ttbox.sty" |
94 "../underscore.sty" |
90 "../underscore.sty" |
95 "../manual.bib" |
91 "../manual.bib" |
96 "document/build" |
92 "document/build" |
97 "document/root.tex" |
93 "document/root.tex" |
165 "../prepare_document" |
161 "../prepare_document" |
166 "../pdfsetup.sty" |
162 "../pdfsetup.sty" |
167 "../iman.sty" |
163 "../iman.sty" |
168 "../extra.sty" |
164 "../extra.sty" |
169 "../ttbox.sty" |
165 "../ttbox.sty" |
170 "../proof.sty" |
|
171 "../manual.bib" |
166 "../manual.bib" |
172 "document/build" |
167 "document/build" |
173 "document/root.tex" |
168 "document/root.tex" |
174 |
169 |
175 session "Logics-HOL" (doc) in "HOL" = Pure + |
170 session "Logics-HOL" (doc) in "HOL" = Pure + |
179 "../prepare_document" |
174 "../prepare_document" |
180 "../pdfsetup.sty" |
175 "../pdfsetup.sty" |
181 "../iman.sty" |
176 "../iman.sty" |
182 "../extra.sty" |
177 "../extra.sty" |
183 "../ttbox.sty" |
178 "../ttbox.sty" |
184 "../proof.sty" |
|
185 "../manual.bib" |
179 "../manual.bib" |
186 "../Logics/document/syntax.tex" |
180 "../Logics/document/syntax.tex" |
187 "document/build" |
181 "document/build" |
188 "document/root.tex" |
182 "document/root.tex" |
189 |
183 |
199 files |
193 files |
200 "../prepare_document" |
194 "../prepare_document" |
201 "../pdfsetup.sty" |
195 "../pdfsetup.sty" |
202 "../isar.sty" |
196 "../isar.sty" |
203 "../ttbox.sty" |
197 "../ttbox.sty" |
204 "../proof.sty" |
|
205 "../manual.bib" |
198 "../manual.bib" |
206 "../Logics/document/syntax.tex" |
199 "../Logics/document/syntax.tex" |
207 "document/build" |
200 "document/build" |
208 "document/root.tex" |
201 "document/root.tex" |
209 |
202 |
256 "../prepare_document" |
249 "../prepare_document" |
257 "../pdfsetup.sty" |
250 "../pdfsetup.sty" |
258 "../iman.sty" |
251 "../iman.sty" |
259 "../extra.sty" |
252 "../extra.sty" |
260 "../ttbox.sty" |
253 "../ttbox.sty" |
261 "../proof.sty" |
|
262 "../manual.bib" |
254 "../manual.bib" |
263 "document/build" |
255 "document/build" |
264 "document/root.tex" |
256 "document/root.tex" |
265 "document/syntax.tex" |
257 "document/syntax.tex" |
266 "document/thm.tex" |
258 "document/thm.tex" |
361 "Sets/Recur" |
353 "Sets/Recur" |
362 files |
354 files |
363 "ToyList/ToyList1" |
355 "ToyList/ToyList1" |
364 "ToyList/ToyList2" |
356 "ToyList/ToyList2" |
365 "../pdfsetup.sty" |
357 "../pdfsetup.sty" |
366 "../proof.sty" |
|
367 "../ttbox.sty" |
358 "../ttbox.sty" |
368 "../manual.bib" |
359 "../manual.bib" |
369 "document/advanced0.tex" |
360 "document/advanced0.tex" |
370 "document/appendix0.tex" |
361 "document/appendix0.tex" |
371 "document/basics.tex" |
362 "document/basics.tex" |