src/HOL/Analysis/Function_Topology.thy
6 months ago nipkow 2018-12-28 tuned style and headers
8 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
9 months ago paulson 2018-09-21 more on product (function) topologies
10 months ago Angeliki KoutsoukouArgyraki 2018-08-28 tagged 21 theories in the Analysis library for the manual
21 months ago paulson 2017-10-10 Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems
2017-02-21 paulson 2017-02-21 Some new lemmas. Existing lemmas modified to use uniform_limit rather than its expansion
2017-01-17 wenzelm 2017-01-17 isabelle update_cartouches -c -t;
2017-01-17 wenzelm 2017-01-17 more symbols via abbrevs;
2017-01-09 paulson 2017-01-09 Advanced topology
2016-10-18 hoelzl 2016-10-18 HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp