equal
deleted
inserted
replaced
1 (* Title: HOL/Basic_Topology.thy |
1 (* Title: HOL/Topological_Spaces.thy |
2 Author: Brian Huffman |
2 Author: Brian Huffman |
3 Author: Johannes Hölzl |
3 Author: Johannes Hölzl |
4 *) |
4 *) |
5 |
5 |
6 header {* Topological Spaces *} |
6 header {* Topological Spaces *} |