20130305 
hoelzl 
20130305 
use generate_topology for second countable topologies, does not require intersection stable basis

file  diff  annotate 
20130131 
hoelzl 
20130131 
use order topology for extended reals

file  diff  annotate 
20130114 
hoelzl 
20130114 
renamed countable_basis_space to second_countable_topology

file  diff  annotate 
20121127 
immler 
20121127 
based countable topological basis on Countable_Set

file  diff  annotate 
20121115 
immler 
20121115 
generalized to copy of countable types instead of instantiation of nat for discrete topology

file  diff  annotate 