diff -r 077f663b6c24 -r ea00d17eba3b src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Thu Aug 20 17:39:07 2015 +0200
+++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Thu Aug 20 17:41:50 2015 +0100
@@ -7,6 +7,7 @@
   Complex_Analysis_Basics
   Bounded_Continuous_Function
   Uniform_Limit
+  Weierstrass
 begin
 
 end