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