diff -r fac2f374d001 -r 168abe8dd1e3 src/Tools/isac/Doc/ROOT
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/isac/Doc/ROOT	Wed Mar 11 15:25:52 2020 +0100
@@ -0,0 +1,16 @@
+session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
+  options [document = pdf, document_output = "output"]
+  sessions
+    "Interpret"
+  theories
+    "Lucas_Interpreter"
+  document_files (in "../")
+    "isabelle.sty"
+    "isabellesym.sty"
+    "pdfsetup.sty"
+  document_files
+    "bend-7-70-en.png"
+    "fun-pack-biegelinie-2.png"
+    "fun-pack-simplify.png"
+    "root.bib"
+    "root.tex"