src/HOL/Types_To_Sets/Examples/T2_Spaces.thy
2016-12-12 ago proper session HOL-Types_To_Sets;