src/HOL/Multivariate_Analysis/Integral_Test.thy
2016-01-13 wenzelm 2016-01-13 eliminated spurious Unicode;
2016-01-05 hoelzl 2016-01-05 Multivariate-Analysis: fixed headers and a LaTex error (c.f. Isabelle b0f941e207cf)
2016-01-04 eberlm 2016-01-04 Added lots of material on infinite sums, convergence radii, harmonic numbers, Gamma function