changeset 59827 | 168abe8dd1e3 |
child 60183 | 0959e61a3f3f |
59826:fac2f374d001 | 59827:168abe8dd1e3 |
---|---|
1 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL + |
|
2 options [document = pdf, document_output = "output"] |
|
3 sessions |
|
4 "Interpret" |
|
5 theories |
|
6 "Lucas_Interpreter" |
|
7 document_files (in "../") |
|
8 "isabelle.sty" |
|
9 "isabellesym.sty" |
|
10 "pdfsetup.sty" |
|
11 document_files |
|
12 "bend-7-70-en.png" |
|
13 "fun-pack-biegelinie-2.png" |
|
14 "fun-pack-simplify.png" |
|
15 "root.bib" |
|
16 "root.tex" |