Thu, 19 Oct 2017 17:16:01 +0100 | paulson | Switching to inverse image and constant_on, plus some new material | file | diff | annotate |
Tue, 10 Oct 2017 17:15:37 +0100 | paulson | Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems | file | diff | annotate |
Tue, 10 Oct 2017 14:03:51 +0100 | paulson | Session HOL-Analysis: Moebius functions and the Riemann mapping theorem. | file | diff | annotate |
Thu, 10 Aug 2017 13:37:27 +0200 | eberlm | Winding numbers for rectangular paths | file | diff | annotate |
Tue, 01 Aug 2017 17:33:04 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Tue, 28 Feb 2017 13:51:47 +0000 | paulson | Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands | file | diff | annotate |
Wed, 22 Feb 2017 15:04:59 +0000 | paulson | New theory about Winding Numbers | file | diff | annotate |