| 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 |