Sun, 15 Jul 2018 13:15:31 +0100 | paulson | more de-applying and a fix | file | diff | annotate |
Mon, 09 Apr 2018 16:20:23 +0200 | nipkow | removed dots at the end of (sub)titles | file | diff | annotate |
Thu, 22 Feb 2018 15:17:25 +0100 | immler | moved theorems from AFP/Affine_Arithmetic and AFP/Ordinary_Differential_Equations | file | diff | annotate |
Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
Mon, 30 Oct 2017 17:20:56 +0000 | paulson | More topological results overlooked last time | 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 |