src/HOL/Analysis/FPS_Convergence.thy
3 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
3 months ago nipkow 2018-12-28 tuned style and headers
8 months ago eberlm 2018-08-04 Small lemmas about analysis
9 months ago Manuel Eberl 2018-07-16 Tagged some more files in HOL-Analysis
10 months ago nipkow 2018-06-06 reorient -> split; documented split
12 months ago nipkow 2018-04-26 new simp modifier: reorient
20 months ago Manuel Eberl 2017-08-21 HOL-Analysis: Convergent FPS and infinite sums