| Sun, 08 Dec 2019 17:42:53 +0100 | nipkow | moved lemmas | file | diff | annotate |
| Wed, 04 Dec 2019 18:28:24 +0100 | nipkow | moved segment lemmas where they belong | file | diff | annotate |
| Sat, 30 Nov 2019 13:47:33 +0100 | Manuel Eberl | Split off new HOL-Complex_Analysis session from HOL-Analysis | file | diff | annotate |
| Thu, 28 Nov 2019 16:43:02 +0000 | paulson | Fixed a few messy proofs and adjusted inconsistent section headings | file | diff | annotate |
| Mon, 04 Nov 2019 19:53:43 -0500 | immler | Line_Segment is independent of Convex_Euclidean_Space | file | diff | annotate |