1.1 --- a/src/Tools/isac/Doc/ROOT	Thu Apr 08 13:09:44 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/ROOT	Thu Apr 08 13:27:27 2021 +0200
     1.3 @@ -5,10 +5,6 @@
     1.4      "Interpret"
     1.5    theories
     1.6      "Lucas_Interpreter"
     1.7 -  document_files (in "../")
     1.8 -    "isabelle.sty"
     1.9 -    "isabellesym.sty"
    1.10 -    "pdfsetup.sty"
    1.11    document_files
    1.12      "bend-7-70-en.png"
    1.13      "fun-pack-biegelinie-2.png"
    1.14 @@ -23,10 +19,6 @@
    1.15      "Specify"
    1.16    theories
    1.17      "Specify_Phase"
    1.18 -  document_files (in "../")
    1.19 -    "isabelle.sty"
    1.20 -    "isabellesym.sty"
    1.21 -    "pdfsetup.sty"
    1.22    document_files
    1.23      "root.bib"
    1.24      "root.tex"