src/HOL/Analysis/Bounded_Continuous_Function.thy
8 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
10 months ago immler 2018-08-29 tagged some theories
2017-03-14 immler 2017-03-14 recovered typedef with set bcontfun (amending d23eded35a33)
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 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.