author | Walther Neuper <walther.neuper@jku.at> |
Tue, 13 Apr 2021 14:07:17 +0200 | |
changeset 60190 | df5045d244d1 |
parent 60189 | 6b021e8cb8da |
child 60785 | 5b6bd5ae739b |
permissions | -rw-r--r-- |
1 (*~~$ ./bin/isabelle build -v -b Lucas_Interpreter
2 *)
3 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
4 options [document = pdf, document_output = "output"]
5 sessions
6 "Interpret"
7 theories
8 "Lucas_Interpreter"
9 document_files
10 "bend-7-70-en.png"
11 "fun-pack-biegelinie-2.png"
12 "fun-pack-simplify.png"
13 "root.bib"
14 "root.tex"
16 (*~~$ ./bin/isabelle build -v -b Specify_Phase
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
25 "root.bib"
26 "root.tex"
27 "user-requirements.tex"