src/HOL/Analysis/Analysis.thy

--- a/src/HOL/Analysis/Analysis.thy	Mon Jan 09 14:00:13 2017 +0000
+++ b/src/HOL/Analysis/Analysis.thy	Mon Jan 09 14:40:31 2017 +0000
@@ -11,8 +11,7 @@
   Function_Topology
   Weierstrass_Theorems
   Polytope
-  Further_Topology
-  Arcwise_Connected
+  Jordan_Curve
   Poly_Roots
   Conformal_Mappings
   Generalised_Binomial_Theorem