src/Tools/isac/Doc/ROOT
author Walther Neuper <walther.neuper@jku.at>
Sun, 04 Apr 2021 13:31:04 +0200
changeset 60183 0959e61a3f3f
parent 59827 168abe8dd1e3
child 60187 751b8a13c271
permissions -rw-r--r--
new session for Doc/Specify_Phase, incomplete
     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"
    17 
    18 session "Specify_Phase" in "Specify_Phase" = HOL +
    19   options [document = pdf, document_output = "output"]
    20   sessions
    21     "Specify"
    22   theories
    23     "Specify_Phase"
    24   document_files (in "../")
    25     "isabelle.sty"
    26     "isabellesym.sty"
    27     "pdfsetup.sty"
    28   document_files
    29     "root.bib"
    30     "root.tex"