equal
deleted
inserted
replaced
|
1 (* run "./bin/isabelle build -v -b Lucas_Interpreter" *) |
1 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL + |
2 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL + |
2 options [document = pdf, document_output = "output"] |
3 options [document = pdf, document_output = "output"] |
3 sessions |
4 sessions |
4 "Interpret" |
5 "Interpret" |
5 theories |
6 theories |
13 "fun-pack-biegelinie-2.png" |
14 "fun-pack-biegelinie-2.png" |
14 "fun-pack-simplify.png" |
15 "fun-pack-simplify.png" |
15 "root.bib" |
16 "root.bib" |
16 "root.tex" |
17 "root.tex" |
17 |
18 |
|
19 (* run "./bin/isabelle build -v -b Specify_Phase" *) |
18 session "Specify_Phase" in "Specify_Phase" = HOL + |
20 session "Specify_Phase" in "Specify_Phase" = HOL + |
19 options [document = pdf, document_output = "output"] |
21 options [document = pdf, document_output = "output"] |
20 sessions |
22 sessions |
21 "Specify" |
23 "Specify" |
22 theories |
24 theories |
26 "isabellesym.sty" |
28 "isabellesym.sty" |
27 "pdfsetup.sty" |
29 "pdfsetup.sty" |
28 document_files |
30 document_files |
29 "root.bib" |
31 "root.bib" |
30 "root.tex" |
32 "root.tex" |
|
33 "user-requirements.tex" |