src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
changeset 59453 4736ff5a41d8
parent 56370 7c717ba55a0b
child 60812 8fff64349793
     1.1 --- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Tue Jan 27 16:12:40 2015 +0100
     1.2 +++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Wed Jan 28 11:17:21 2015 +0100
     1.3 @@ -1,5 +1,11 @@
     1.4  theory Multivariate_Analysis
     1.5 -imports Fashoda Extended_Real_Limits Determinants Ordered_Euclidean_Space Complex_Analysis_Basics
     1.6 +imports
     1.7 +  Fashoda
     1.8 +  Extended_Real_Limits
     1.9 +  Determinants
    1.10 +  Ordered_Euclidean_Space
    1.11 +  Complex_Analysis_Basics
    1.12 +  Bounded_Continuous_Function
    1.13  begin
    1.14  
    1.15  end