changeset 63078 | e49dc94eb624 |
parent 62408 | 86f27b264d3d |
child 63129 | e5cb3440af74 |
--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Tue May 10 11:56:23 2016 +0100 +++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Tue May 10 14:04:44 2016 +0100 @@ -6,6 +6,7 @@ Ordered_Euclidean_Space Bounded_Continuous_Function Weierstrass + Polytope Conformal_Mappings Generalised_Binomial_Theorem Gamma