src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Jul 28 13:00:54 2015 +0200
+++ b/src/HOL/ROOT	Tue Jul 28 16:16:13 2015 +0100
@@ -703,6 +703,7 @@
     PolyRoots
     Complex_Analysis_Basics
     Complex_Transcendental
+    Cauchy_Integral_Thm
   document_files
     "root.tex"