src/HOL/Analysis/Harmonic_Numbers.thy
2017-04-04 eberlm 2017-04-04 moved material from AFP to distribution
2017-03-16 paulson 2017-03-16 Removal of [simp] status for greaterThan_0. Moved two theorems into main HOL.
2017-03-05 nipkow 2017-03-05 added numeral_powr_numeral
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-08-25 Manuel Eberl 2016-08-25 More analysis lemmas
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.