author | Walther Neuper <walther.neuper@jku.at> |
Wed, 11 Mar 2020 15:25:52 +0100 | |
changeset 59827 | 168abe8dd1e3 |
child 60183 | 0959e61a3f3f |
permissions | -rw-r--r-- |
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"