| author | wneuper <Walther.Neuper@jku.at> |
| Mon, 01 Jan 2024 11:31:16 +0100 | |
| changeset 60789 | 8fa678b678e8 |
| parent 60787 | 26037efefd61 |
| permissions | -rw-r--r-- |
| walther@60190 | 1 |
(*~~$ ./bin/isabelle build -v -b Lucas_Interpreter |
| walther@60190 | 2 |
*) |
| walther@59827 | 3 |
session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL + |
| walther@59827 | 4 |
options [document = pdf, document_output = "output"] |
| walther@59827 | 5 |
sessions |
| walther@59827 | 6 |
"Interpret" |
| walther@59827 | 7 |
theories |
| walther@59827 | 8 |
"Lucas_Interpreter" |
| walther@59827 | 9 |
document_files |
| walther@59827 | 10 |
"bend-7-70-en.png" |
| walther@59827 | 11 |
"fun-pack-biegelinie-2.png" |
| walther@59827 | 12 |
"fun-pack-simplify.png" |
| walther@59827 | 13 |
"root.bib" |
| walther@59827 | 14 |
"root.tex" |
| walther@60183 | 15 |
|
| walther@60190 | 16 |
(*~~$ ./bin/isabelle build -v -b Specify_Phase |
| walther@60190 | 17 |
*) |
| walther@60183 | 18 |
session "Specify_Phase" in "Specify_Phase" = HOL + |
| walther@60183 | 19 |
options [document = pdf, document_output = "output"] |
| walther@60183 | 20 |
sessions |
| walther@60183 | 21 |
"Specify" |
| walther@60183 | 22 |
theories |
| walther@60183 | 23 |
"Specify_Phase" |
| walther@60183 | 24 |
document_files |
| Walther@60786 | 25 |
"coil-kernel-uv.png" |
| Walther@60787 | 26 |
"equat-ws-pbl.eps" |
| Walther@60786 | 27 |
"Screenshot-problemdef-running-expl.png" |
| Walther@60786 | 28 |
"specification-complete.png" |
| Walther@60786 | 29 |
"specification-method.png" |
| Walther@60786 | 30 |
"specification-template.png" |
| walther@60183 | 31 |
"root.bib" |
| walther@60183 | 32 |
"root.tex" |
| Walther@60785 | 33 |