src/HOL/Analysis/Analysis.thy

--- a/src/HOL/Analysis/Analysis.thy	Wed Feb 22 15:04:59 2017 +0000
+++ b/src/HOL/Analysis/Analysis.thy	Wed Feb 22 16:21:26 2017 +0000
@@ -13,6 +13,7 @@
   Polytope
   Jordan_Curve
   Winding_Numbers
+  Great_Picard
   Poly_Roots
   Conformal_Mappings
   Generalised_Binomial_Theorem