src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy

--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Sun Oct 25 17:31:14 2015 +0100
+++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Mon Oct 26 23:41:27 2015 +0000
@@ -7,6 +7,7 @@
   Complex_Analysis_Basics
   Bounded_Continuous_Function
   Weierstrass
+  Cauchy_Integral_Thm
 begin
 
 end