src/HOL/Analysis/Uniform_Limit.thy
5 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
5 months ago nipkow 2018-12-29 capitalize proper names in lemma names
7 months ago haftmann 2018-11-18 removed legacy input syntax
7 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
9 months ago immler 2018-08-29 tagged some theories
16 months ago immler 2018-02-22 moved theorems from AFP/Affine_Arithmetic and AFP/Ordinary_Differential_Equations
17 months ago paulson 2018-01-08 moved in some material from Euler-MacLaurin
20 months ago paulson 2017-10-10 Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems
2017-03-10 immler 2017-03-10 modernized construction of type bcontfun; base explicit theorems on Uniform_Limit.thy; added some lemmas
2017-02-21 paulson 2017-02-21 some new material, also recasting some theorems using “obtains”
2017-02-21 paulson 2017-02-21 Some new lemmas. Existing lemmas modified to use uniform_limit rather than its expansion
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.