equal
deleted
inserted
replaced
3 theories [document = false] Setup |
3 theories [document = false] Setup |
4 theories Classes |
4 theories Classes |
5 files |
5 files |
6 "../prepare_document" |
6 "../prepare_document" |
7 "../pdfsetup.sty" |
7 "../pdfsetup.sty" |
|
8 "../iman.sty" |
|
9 "../extra.sty" |
|
10 "../isar.sty" |
|
11 "../proof.sty" |
|
12 "../manual.bib" |
8 "document/build" |
13 "document/build" |
9 "document/root.tex" |
14 "document/root.tex" |
10 "document/style.sty" |
15 "document/style.sty" |
11 |
16 |
12 session Codegen (doc) in "Codegen" = "HOL-Library" + |
17 session Codegen (doc) in "Codegen" = "HOL-Library" + |
21 Adaptation |
26 Adaptation |
22 Further |
27 Further |
23 files |
28 files |
24 "../prepare_document" |
29 "../prepare_document" |
25 "../pdfsetup.sty" |
30 "../pdfsetup.sty" |
|
31 "../iman.sty" |
|
32 "../extra.sty" |
|
33 "../isar.sty" |
|
34 "../proof.sty" |
|
35 "../manual.bib" |
26 "document/adapt.tex" |
36 "document/adapt.tex" |
27 "document/architecture.tex" |
37 "document/architecture.tex" |
28 "document/build" |
38 "document/build" |
29 "document/root.tex" |
39 "document/root.tex" |
30 "document/style.sty" |
40 "document/style.sty" |
78 "../pdfsetup.sty" |
88 "../pdfsetup.sty" |
79 "../iman.sty" |
89 "../iman.sty" |
80 "../extra.sty" |
90 "../extra.sty" |
81 "../isar.sty" |
91 "../isar.sty" |
82 "../proof.sty" |
92 "../proof.sty" |
|
93 "../ttbox.sty" |
83 "../underscore.sty" |
94 "../underscore.sty" |
84 "../ttbox.sty" |
|
85 "../manual.bib" |
95 "../manual.bib" |
86 "document/build" |
96 "document/build" |
87 "document/root.tex" |
97 "document/root.tex" |
88 "document/style.sty" |
98 "document/style.sty" |
89 |
99 |
108 files |
118 files |
109 "../prepare_document" |
119 "../prepare_document" |
110 "../pdfsetup.sty" |
120 "../pdfsetup.sty" |
111 "../iman.sty" |
121 "../iman.sty" |
112 "../extra.sty" |
122 "../extra.sty" |
113 "../ttbox.sty" |
123 "../isar.sty" |
114 "../proof.sty" |
124 "../ttbox.sty" |
115 "../isar.sty" |
125 "../underscore.sty" |
116 "../manual.bib" |
126 "../manual.bib" |
117 "document/build" |
127 "document/build" |
118 "document/isar-vm.eps" |
128 "document/isar-vm.eps" |
119 "document/isar-vm.pdf" |
129 "document/isar-vm.pdf" |
120 "document/isar-vm.svg" |
130 "document/isar-vm.svg" |
283 "../prepare_document" |
293 "../prepare_document" |
284 "../IsarRef/document/style.sty" |
294 "../IsarRef/document/style.sty" |
285 "../pdfsetup.sty" |
295 "../pdfsetup.sty" |
286 "../iman.sty" |
296 "../iman.sty" |
287 "../extra.sty" |
297 "../extra.sty" |
288 "../ttbox.sty" |
298 "../isar.sty" |
289 "../isar.sty" |
299 "../ttbox.sty" |
290 "../underscore.sty" |
300 "../underscore.sty" |
291 "../manual.bib" |
301 "../manual.bib" |
292 "document/browser_screenshot.eps" |
302 "document/browser_screenshot.eps" |
293 "document/browser_screenshot.png" |
303 "document/browser_screenshot.png" |
294 "document/build" |
304 "document/build" |