author | Walther Neuper <walther.neuper@jku.at> |
Sun, 04 Apr 2021 13:31:04 +0200 | |
changeset 60183 | 0959e61a3f3f |
parent 59827 | 168abe8dd1e3 |
child 60187 | 751b8a13c271 |
permissions | -rw-r--r-- |
1 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
2 options [document = pdf, document_output = "output"]
3 sessions
4 "Interpret"
5 theories
6 "Lucas_Interpreter"
7 document_files (in "../")
8 "isabelle.sty"
9 "isabellesym.sty"
10 "pdfsetup.sty"
11 document_files
12 "bend-7-70-en.png"
13 "fun-pack-biegelinie-2.png"
14 "fun-pack-simplify.png"
15 "root.bib"
16 "root.tex"
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"