src/HOL/Analysis/Riemann_Mapping.thy
3 months ago paulson 2019-03-19 new material about topology, etc.; also fixes for yesterday's
5 months ago nipkow 2018-12-27 tuned headers; ~ -> \<not>
6 months ago Wenda Li 2018-12-08 Tagged some theories in HOL-Analysis: Cauchy_Integral_Theorem, Riemann_Mapping and Winding_Numbers.
7 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
9 months ago nipkow 2018-09-24 Prefix form of infix with * on either side no longer needs special treatment because (* and *) are no longer comment brackets in terms.
11 months ago paulson 2018-07-15 more de-applying and a fix
14 months ago nipkow 2018-04-09 removed dots at the end of (sub)titles
16 months ago immler 2018-02-22 moved theorems from AFP/Affine_Arithmetic and AFP/Ordinary_Differential_Equations
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
20 months ago paulson 2017-10-30 More topological results overlooked last time
20 months ago paulson 2017-10-10 Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems
20 months ago paulson 2017-10-10 Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.