1.1 --- a/src/Tools/isac/Doc/ROOT	Sun Apr 04 12:29:42 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/ROOT	Sun Apr 04 13:31:04 2021 +0200
     1.3 @@ -14,3 +14,17 @@
     1.4      "fun-pack-simplify.png"
     1.5      "root.bib"
     1.6      "root.tex"
     1.7 +
     1.8 +session "Specify_Phase" in "Specify_Phase" = HOL +
     1.9 +  options [document = pdf, document_output = "output"]
    1.10 +  sessions
    1.11 +    "Specify"
    1.12 +  theories
    1.13 +    "Specify_Phase"
    1.14 +  document_files (in "../")
    1.15 +    "isabelle.sty"
    1.16 +    "isabellesym.sty"
    1.17 +    "pdfsetup.sty"
    1.18 +  document_files
    1.19 +    "root.bib"
    1.20 +    "root.tex"