equal
deleted
inserted
replaced
12 "bend-7-70-en.png" |
12 "bend-7-70-en.png" |
13 "fun-pack-biegelinie-2.png" |
13 "fun-pack-biegelinie-2.png" |
14 "fun-pack-simplify.png" |
14 "fun-pack-simplify.png" |
15 "root.bib" |
15 "root.bib" |
16 "root.tex" |
16 "root.tex" |
|
17 |
|
18 session "Specify_Phase" in "Specify_Phase" = HOL + |
|
19 options [document = pdf, document_output = "output"] |
|
20 sessions |
|
21 "Specify" |
|
22 theories |
|
23 "Specify_Phase" |
|
24 document_files (in "../") |
|
25 "isabelle.sty" |
|
26 "isabellesym.sty" |
|
27 "pdfsetup.sty" |
|
28 document_files |
|
29 "root.bib" |
|
30 "root.tex" |