Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |
Tue, 05 Jan 2016 13:35:06 +0100 | hoelzl | Multivariate-Analysis: fixed headers and a LaTex error (c.f. Isabelle b0f941e207cf) | file | diff | annotate |
Mon, 04 Jan 2016 17:45:36 +0100 | eberlm | Added lots of material on infinite sums, convergence radii, harmonic numbers, Gamma function | file | diff | annotate |