author | wenzelm |
Thu, 08 Apr 2021 13:09:44 +0200 | |
changeset 60187 | 751b8a13c271 |
parent 60183 | 0959e61a3f3f |
child 60188 | 422186a35be8 |
permissions | -rw-r--r-- |
1 (* run "./bin/isabelle build -v -b Lucas_Interpreter" *)
2 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
3 options [document = pdf, document_output = "output"]
4 sessions
5 "Interpret"
6 theories
7 "Lucas_Interpreter"
8 document_files (in "../")
9 "isabelle.sty"
10 "isabellesym.sty"
11 "pdfsetup.sty"
12 document_files
13 "bend-7-70-en.png"
14 "fun-pack-biegelinie-2.png"
15 "fun-pack-simplify.png"
16 "root.bib"
17 "root.tex"
19 (* run "./bin/isabelle build -v -b Specify_Phase" *)
20 session "Specify_Phase" in "Specify_Phase" = HOL +
21 options [document = pdf, document_output = "output"]
22 sessions
23 "Specify"
24 theories
25 "Specify_Phase"
26 document_files (in "../")
27 "isabelle.sty"
28 "isabellesym.sty"
29 "pdfsetup.sty"
30 document_files
31 "root.bib"
32 "root.tex"
33 "user-requirements.tex"