src/HOL/Analysis/Jordan_Curve.thy
6 months ago nipkow 2018-12-27 tuned headers; ~ -> \<not>
12 months ago Manuel Eberl 2018-07-17 tagged
15 months ago nipkow 2018-04-09 removed dots at the end of (sub)titles
21 months ago paulson 2017-10-19 Switching to inverse image and constant_on, plus some new material
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-01-09 paulson 2017-01-09 Jordan Curve Theorem