src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
changeset 62049 b0f941e207cf
parent 61518 ff12606337e9
child 62408 86f27b264d3d
     1.1 --- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Sun Jan 03 21:45:34 2016 +0100
     1.2 +++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy	Mon Jan 04 17:45:36 2016 +0100
     1.3 @@ -8,6 +8,8 @@
     1.4    Bounded_Continuous_Function
     1.5    Weierstrass
     1.6    Cauchy_Integral_Thm
     1.7 +  Generalised_Binomial_Theorem
     1.8 +  Gamma
     1.9  begin
    1.10  
    1.11  end