src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy

--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Fri Aug 05 18:34:57 2016 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-theory Multivariate_Analysis
-imports
-  Regularity
-  Lebesgue_Integral_Substitution
-  Embed_Measure
-  Complete_Measure
-  Radon_Nikodym
-  Fashoda_Theorem
-  Determinants
-  Homeomorphism
-  Bounded_Continuous_Function
-  Weierstrass_Theorems
-  Polytope
-  Poly_Roots
-  Conformal_Mappings
-  Generalised_Binomial_Theorem
-  Gamma_Function
-begin
-
-end