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