src/HOL/Library/Nonpos_Ints.thy
22 months ago Manuel Eberl 2017-12-05 Moved material from AFP to Analysis/Number_Theory
2016-05-13 wenzelm 2016-05-13 eliminated use of empty "assms";
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 wenzelm 2016-01-05 isabelle update_cartouches -c -t;
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