diff -r 9f927860d907 -r 0959e61a3f3f src/Tools/isac/Doc/ROOT
--- a/src/Tools/isac/Doc/ROOT	Sun Apr 04 12:29:42 2021 +0200
+++ b/src/Tools/isac/Doc/ROOT	Sun Apr 04 13:31:04 2021 +0200
@@ -14,3 +14,17 @@
     "fun-pack-simplify.png"
     "root.bib"
     "root.tex"
+
+session "Specify_Phase" in "Specify_Phase" = HOL +
+  options [document = pdf, document_output = "output"]
+  sessions
+    "Specify"
+  theories
+    "Specify_Phase"
+  document_files (in "../")
+    "isabelle.sty"
+    "isabellesym.sty"
+    "pdfsetup.sty"
+  document_files
+    "root.bib"
+    "root.tex"