7 weeks ago haftmann 2019-03-05 avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
5 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
7 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.