# HG changeset patch
# User Wenda Li <wl302@cam.ac.uk>
# Date 1575240448 0
# Node ID 0c47c128f9af68c7a6ea51f208fc0f946a5ef28a
# Parent  758a9f94478383d5c09ade23c94f9717de5f9d33# Parent  3d35e12999ba389831feacd09af5d2b3db730770
merged

diff -r 3d35e12999ba -r 0c47c128f9af src/HOL/Analysis/Analysis.thy
--- a/src/HOL/Analysis/Analysis.thy	Sun Dec 01 17:51:23 2019 +0000
+++ b/src/HOL/Analysis/Analysis.thy	Sun Dec 01 22:47:28 2019 +0000
@@ -35,7 +35,7 @@
   Weierstrass_Theorems
   Polytope
   Jordan_Curve
-  Winding_Numbers
+  Winding_Numbers_2
   Riemann_Mapping
   Poly_Roots
   Conformal_Mappings