| Sat, 14 Apr 2018 09:23:00 +0100 | paulson | new material about vec, real^1, etc. | file | diff | annotate |
| Mon, 09 Apr 2018 16:20:23 +0200 | nipkow | removed dots at the end of (sub)titles | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Mon, 08 Jan 2018 17:11:25 +0000 | paulson | moved in some material from Euler-MacLaurin | file | diff | annotate |
| Tue, 12 Dec 2017 10:01:14 +0100 | Manuel Eberl | Moved analysis material from AFP | file | diff | annotate |
| Tue, 05 Dec 2017 12:14:36 +0100 | Manuel Eberl | Moved material from AFP to Analysis/Number_Theory | 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 |