src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy

--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Tue Jul 28 13:00:54 2015 +0200
+++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Tue Jul 28 16:34:08 2015 +0200
@@ -6,6 +6,7 @@
   Ordered_Euclidean_Space
   Complex_Analysis_Basics
   Bounded_Continuous_Function
+  Uniform_Limit
 begin
 
 end