src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy

--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Wed Sep 23 14:11:35 2015 +0100
+++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Thu Sep 24 14:29:08 2015 +0200
@@ -6,7 +6,6 @@
   Ordered_Euclidean_Space
   Complex_Analysis_Basics
   Bounded_Continuous_Function
-  Uniform_Limit
   Weierstrass
 begin