src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Oct 30 20:12:10 2017 +0100
+++ b/src/HOL/ROOT	Mon Oct 30 20:26:19 2017 +0100
@@ -962,7 +962,10 @@
     "HOL-IMP"
   theories
     HoareEx
-  document_files "root.tex"
+  document_files
+    "isaverbatimwrite.sty"
+    "root.tex"
+    "root.bib"
 
 session "HOLCF-ex" in "HOLCF/ex" = "HOLCF-Library" +
   description {*