src/HOL/Analysis/Abstract_Topology.thy
6 months ago nipkow 2018-12-29 capitalize proper names in lemma names
6 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
8 months ago nipkow 2018-11-11 tuned
9 months ago paulson 2018-10-17 new theory Abstract_Topology with lots of stuff from HOL Light's metric.sml