src/HOL/Library/Periodic_Fun.thy
6 months ago wenzelm 2019-01-04 isabelle update -u control_cartouches;
13 months ago nipkow 2018-06-07 utilize 'flip'
2016-02-23 nipkow 2016-02-23 more canonical names
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