diff --git a/src/HOL/Analysis/Analysis.thy b/src/HOL/Analysis/Analysis.thy
--- a/src/HOL/Analysis/Analysis.thy
+++ b/src/HOL/Analysis/Analysis.thy
@@ -1,50 +1,50 @@
 theory Analysis
   imports
   (* Linear Algebra *)
   Convex
   Determinants
   (* Topology *)
   Connected
   Abstract_Limits
   Abstract_Euclidean_Space
   (* Functional Analysis *)
   Elementary_Normed_Spaces
   Norm_Arith
   (* Vector Analysis *)
   Convex_Euclidean_Space
   (* Measure and Integration Theory *)
   Ball_Volume
   Integral_Test
   Improper_Integral
   Equivalence_Measurable_On_Borel
   (* Unsorted *)
   Lebesgue_Integral_Substitution
   Embed_Measure
   Complete_Measure
   Radon_Nikodym
   Fashoda_Theorem
   Determinants
   Cross3
   Homeomorphism
   Bounded_Continuous_Function
   Abstract_Topology
   Product_Topology
   Lindelof_Spaces
   Infinite_Products
   Infinite_Set_Sum
   Weierstrass_Theorems
   Polytope
   Jordan_Curve
-  Winding_Numbers
+  Winding_Numbers_2
   Riemann_Mapping
   Poly_Roots
   Conformal_Mappings
   FPS_Convergence
   Generalised_Binomial_Theorem
   Gamma_Function
   Change_Of_Vars
   Multivariate_Analysis
   Simplex_Content
 begin
 
 end