src/HOL/Library/Periodic_Fun.thy
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