Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned Analysis/Analysis;
authorWenda Li <wl302@cam.ac.uk>
Sun, 01 Dec 2019 22:46:09 +0000
changeset 71187 758a9f944783
parent 71185 8a0e25d93a95
child 71188 0c47c128f9af
tuned Analysis/Analysis;
src/HOL/Analysis/Analysis.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle