src/HOL/Analysis/Winding_Numbers.thy
5 weeks ago paulson 2019-03-18 new material;' strengthened material; moved proofs out of Function_Topology in order to lessen its dependencies
3 months ago haftmann 2019-01-14 tuned proofs
3 months ago nipkow 2018-12-27 tuned headers; ~ -> \<not>
4 months ago Wenda Li 2018-12-08 Tagged some theories in HOL-Analysis: Cauchy_Integral_Theorem, Riemann_Mapping and Winding_Numbers.
11 months ago paulson 2018-05-03 Some tidying up (mostly regarding summations from 0)
16 months ago Manuel Eberl 2017-12-05 Moved material from AFP to Analysis/Number_Theory
18 months ago paulson 2017-10-19 Switching to inverse image and constant_on, plus some new material
18 months ago paulson 2017-10-10 Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems
18 months ago paulson 2017-10-10 Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.
20 months ago eberlm 2017-08-10 Winding numbers for rectangular paths
20 months ago wenzelm 2017-08-01 isabelle update_cartouches -c -t;
2017-02-28 paulson 2017-02-28 Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands
2017-02-22 paulson 2017-02-22 New theory about Winding Numbers