author | wenzelm |
Thu, 08 Apr 2021 13:27:27 +0200 | |
changeset 60188 | 422186a35be8 |
parent 60187 | 751b8a13c271 |
child 60189 | 6b021e8cb8da |
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
9 "bend-7-70-en.png"
10 "fun-pack-biegelinie-2.png"
11 "fun-pack-simplify.png"
12 "root.bib"
13 "root.tex"
15 (* run "./bin/isabelle build -v -b Specify_Phase" *)
16 session "Specify_Phase" in "Specify_Phase" = HOL +
17 options [document = pdf, document_output = "output"]
18 sessions
19 "Specify"
20 theories
21 "Specify_Phase"
22 document_files
23 "root.bib"
24 "root.tex"
25 "user-requirements.tex"