src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
changeset 63627 6ddb43c6b711
parent 63626 44ce6b524ff3
child 63631 2edc8da89edc
child 63633 2accfb71e33b
     1.1 --- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Fri Aug 05 18:34:57 2016 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,20 +0,0 @@
     1.4 -theory Multivariate_Analysis
     1.5 -imports
     1.6 -  Regularity
     1.7 -  Lebesgue_Integral_Substitution
     1.8 -  Embed_Measure
     1.9 -  Complete_Measure
    1.10 -  Radon_Nikodym
    1.11 -  Fashoda_Theorem
    1.12 -  Determinants
    1.13 -  Homeomorphism
    1.14 -  Bounded_Continuous_Function
    1.15 -  Weierstrass_Theorems
    1.16 -  Polytope
    1.17 -  Poly_Roots
    1.18 -  Conformal_Mappings
    1.19 -  Generalised_Binomial_Theorem
    1.20 -  Gamma_Function
    1.21 -begin
    1.22 -
    1.23 -end