src/HOL/Analysis/Harmonic_Numbers.thy
14 months ago Manuel Eberl 2018-07-16 Tagged some more files in HOL-Analysis
20 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
2017-08-29 paulson 2017-08-29 correction to my previous commit
2017-08-23 paulson 2017-08-23 More tidying up of monotone_convergence_interval
2017-08-17 eberlm 2017-08-17 Replaced subseq with strict_mono
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.