--- a/src/HOL/Topological_Spaces.thy Thu May 30 22:30:38 2013 +0200
+++ b/src/HOL/Topological_Spaces.thy Thu May 30 23:29:33 2013 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Basic_Topology.thy
+(* Title: HOL/Topological_Spaces.thy
Author: Brian Huffman
Author: Johannes Hölzl
*)