# HG changeset patch
# User wenzelm
# Date 1509391579 -3600
# Node ID 1a5e90026391931a80ed448e5dd88be653f726f8
# Parent  6c5e4ac0398b7d264e937a6904db33b0d465a8bb
recovered document from 9bfb6978eb80;

diff -r 6c5e4ac0398b -r 1a5e90026391 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 {*