diff -r b67bab2b132c -r 4900351361b0 src/HOL/Analysis/Analysis.thy
--- a/src/HOL/Analysis/Analysis.thy	Tue Apr 16 19:50:30 2019 +0000
+++ b/src/HOL/Analysis/Analysis.thy	Wed Apr 17 17:48:28 2019 +0100
@@ -29,7 +29,7 @@
   Bounded_Continuous_Function
   Abstract_Topology
   Product_Topology
-  T1_Spaces
+  Lindelof_Spaces
   Infinite_Products
   Infinite_Set_Sum
   Weierstrass_Theorems