src/HOL/Analysis/Elementary_Topology.thy
4 months ago haftmann 2019-01-31 proper congruence rule for image operator
4 months ago immler 2019-01-28 less odd class.second_countable_topology_def
4 months ago nipkow 2019-01-28 more canonical and less specialized syntax
5 months ago nipkow 2019-01-25 moved retracts
5 months ago paulson 2019-01-22 renamings and new material
5 months ago immler 2019-01-17 subsection is always %important
5 months ago immler 2019-01-16 chapters for analysis manual
5 months ago immler 2019-01-07 moved material from Connected.thy to more appropriate places
5 months ago immler 2019-01-07 moved material from Connected.thy to more appropriate places
5 months ago immler 2019-01-06 moved some material from Connected.thy to more appropriate places
5 months ago nipkow 2019-01-01 tuned defs
5 months ago immler 2018-12-29 split off theorems involving classes below metric_space and real_normed_vector
5 months ago nipkow 2018-12-29 capitalize proper names in lemma names
5 months ago immler 2018-12-27 most of Topology_Euclidean_Space (now Elementary_Topology) requires fewer dependencies