walther@59827: session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
walther@59827:   options [document = pdf, document_output = "output"]
walther@59827:   sessions
walther@59827:     "Interpret"
walther@59827:   theories
walther@59827:     "Lucas_Interpreter"
walther@59827:   document_files (in "../")
walther@59827:     "isabelle.sty"
walther@59827:     "isabellesym.sty"
walther@59827:     "pdfsetup.sty"
walther@59827:   document_files
walther@59827:     "bend-7-70-en.png"
walther@59827:     "fun-pack-biegelinie-2.png"
walther@59827:     "fun-pack-simplify.png"
walther@59827:     "root.bib"
walther@59827:     "root.tex"