src/Tools/isac/Doc/ROOT
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--
start formally checked documentation with Lucas_Interpreter

note: the text is a partial copy from the IJCAR/ThEdu'20 paper
walther@59827
     1
session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
walther@59827
     2
  options [document = pdf, document_output = "output"]
walther@59827
     3
  sessions
walther@59827
     4
    "Interpret"
walther@59827
     5
  theories
walther@59827
     6
    "Lucas_Interpreter"
walther@59827
     7
  document_files (in "../")
walther@59827
     8
    "isabelle.sty"
walther@59827
     9
    "isabellesym.sty"
walther@59827
    10
    "pdfsetup.sty"
walther@59827
    11
  document_files
walther@59827
    12
    "bend-7-70-en.png"
walther@59827
    13
    "fun-pack-biegelinie-2.png"
walther@59827
    14
    "fun-pack-simplify.png"
walther@59827
    15
    "root.bib"
walther@59827
    16
    "root.tex"