# HG changeset patch
# User Wenda Li <wl302@cam.ac.uk>
# Date 1575240369 0
# Node ID 758a9f94478383d5c09ade23c94f9717de5f9d33
# Parent  8a0e25d93a95930f5f364aee442c9b87a249ec0a
tuned Analysis/Analysis;

diff -r 8a0e25d93a95 -r 758a9f944783 src/HOL/Analysis/Analysis.thy
--- a/src/HOL/Analysis/Analysis.thy	Sun Dec 01 19:15:55 2019 +0000
+++ b/src/HOL/Analysis/Analysis.thy	Sun Dec 01 22:46:09 2019 +0000
@@ -35,7 +35,7 @@
   Weierstrass_Theorems
   Polytope
   Jordan_Curve
-  Winding_Numbers
+  Winding_Numbers_2
   Riemann_Mapping
   Poly_Roots
   Conformal_Mappings