src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy

--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Tue Jan 27 16:12:40 2015 +0100
+++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Wed Jan 28 11:17:21 2015 +0100
@@ -1,5 +1,11 @@
 theory Multivariate_Analysis
-imports Fashoda Extended_Real_Limits Determinants Ordered_Euclidean_Space Complex_Analysis_Basics
+imports
+  Fashoda
+  Extended_Real_Limits
+  Determinants
+  Ordered_Euclidean_Space
+  Complex_Analysis_Basics
+  Bounded_Continuous_Function
 begin
 
 end