diff -r 751b8a13c271 -r 422186a35be8 src/Tools/isac/Doc/ROOT
--- a/src/Tools/isac/Doc/ROOT	Thu Apr 08 13:09:44 2021 +0200
+++ b/src/Tools/isac/Doc/ROOT	Thu Apr 08 13:27:27 2021 +0200
@@ -5,10 +5,6 @@
     "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"
@@ -23,10 +19,6 @@
     "Specify"
   theories
     "Specify_Phase"
-  document_files (in "../")
-    "isabelle.sty"
-    "isabellesym.sty"
-    "pdfsetup.sty"
   document_files
     "root.bib"
     "root.tex"