src/HOL/Analysis/Abstract_Topology.thy
4 weeks ago paulson 2019-03-22 New abstract topological material
4 weeks ago paulson 2019-03-21 new material on topology: products, etc. Some renamings, esp continuous_on_topo -> continuous_map
5 weeks ago paulson 2019-03-19 new material about topology, etc.; also fixes for yesterday's
5 weeks ago paulson 2019-03-18 new material;' strengthened material; moved proofs out of Function_Topology in order to lessen its dependencies
6 weeks ago paulson 2019-03-07 new material for Analysis
2 months ago nipkow 2019-01-28 more canonical and less specialized syntax
3 months ago paulson 2019-01-22 renamings and new material
3 months ago paulson 2019-01-22 some renamings and a bit of new material
3 months ago haftmann 2019-01-14 tuned proofs
3 months ago immler 2019-01-07 moved generalized lemmas
3 months ago nipkow 2019-01-06 typed definitions
3 months ago immler 2018-12-29 split off theorems involving classes below metric_space and real_normed_vector
3 months ago nipkow 2018-12-29 capitalize proper names in lemma names
3 months ago nipkow 2018-12-27 tuned headers; ~ -> \<not>
5 months ago haftmann 2018-11-22 removed legacy input syntax
5 months ago haftmann 2018-11-18 removed legacy input syntax
5 months ago nipkow 2018-11-11 tuned
6 months ago paulson 2018-10-17 new theory Abstract_Topology with lots of stuff from HOL Light's metric.sml