--- a/src/HOL/Analysis/Analysis.thy Wed Feb 22 12:30:28 2017 +0000
+++ b/src/HOL/Analysis/Analysis.thy Wed Feb 22 15:04:59 2017 +0000
@@ -12,6 +12,7 @@
Weierstrass_Theorems
Polytope
Jordan_Curve
+ Winding_Numbers
Poly_Roots
Conformal_Mappings
Generalised_Binomial_Theorem