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