src/HOL/Multivariate_Analysis/Generalised_Binomial_Theorem.thy
2016-08-04 hoelzl 2016-08-04 HOL-Multivariate_Analysis: rename theories for more descriptive names
2016-07-09 haftmann 2016-07-09 more lemmas to emphasize {0::nat..(<)n} as canonical representation of intervals on nat * * * more rules for setsum, setprod on intervals
2016-07-02 haftmann 2016-07-02 simplified definitions of combinatorial functions
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
2016-02-23 nipkow 2016-02-23 more canonical names
2016-01-11 paulson 2016-01-11 nonneg_Reals, nonpos_Reals, Cauchy integral formula, etc.
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