src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
changeset 61243 44b2d133063e
parent 60987 ea00d17eba3b
child 61518 ff12606337e9
     1.1 --- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Wed Sep 23 14:11:35 2015 +0100
     1.2 +++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Thu Sep 24 14:29:08 2015 +0200
     1.3 @@ -6,7 +6,6 @@
     1.4    Ordered_Euclidean_Space
     1.5    Complex_Analysis_Basics
     1.6    Bounded_Continuous_Function
     1.7 -  Uniform_Limit
     1.8    Weierstrass
     1.9  begin
    1.10