isabelle: File revisions

src/HOL/Library/Nonpos_Ints.thy

2019-10-09	haftmann	dedicated fact collections for algebraic simplification rules potentially splitting goals	file \| diff \| annotate
2019-01-04	wenzelm	isabelle update -u control_cartouches;	file \| diff \| annotate
2018-09-07	wenzelm	tuned whitespace;	file \| diff \| annotate
2018-06-26	paulson	Rationalisation of complex transcendentals, esp the Arg function	file \| diff \| annotate
2017-12-05	Manuel Eberl	Moved material from AFP to Analysis/Number_Theory	file \| diff \| annotate
2016-05-13	wenzelm	eliminated use of empty "assms";	file \| diff \| annotate
2016-02-23	nipkow	more canonical names	file \| diff \| annotate
2016-01-11	paulson	nonneg_Reals, nonpos_Reals, Cauchy integral formula, etc.	file \| diff \| annotate
2016-01-05	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
2016-01-05	hoelzl	Multivariate-Analysis: fixed headers and a LaTex error (c.f. Isabelle b0f941e207cf)	file \| diff \| annotate
2016-01-04	eberlm	Added lots of material on infinite sums, convergence radii, harmonic numbers, Gamma function	file \| diff \| annotate

isabelle