Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Changeset 71032:acedd04c1a42 by nipkow: merged
Changeset 71031:66c025383422 by nipkow: tuned
The file was modified	`src/HOL/Analysis/Cauchy_Integral_Theorem.thy`
The file was modified	`src/HOL/Analysis/Lindelof_Spaces.thy`
The file was modified	`src/HOL/Analysis/Retracts.thy`
The file was modified	`src/HOL/Analysis/Winding_Numbers.thy`