| Tue, 05 Mar 2019 07:00:21 +0000 | haftmann | avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default | file | diff | annotate |
| Tue, 22 Jan 2019 12:00:16 +0000 | paulson | renamings and new material | file | diff | annotate |
| Fri, 28 Dec 2018 10:29:59 +0100 | nipkow | tuned style and headers | file | diff | annotate |
| Mon, 22 Oct 2018 19:03:47 +0200 | Manuel Eberl | Tagged some theories in HOL-Analysis | file | diff | annotate |
| Thu, 12 Apr 2018 12:16:34 +0100 | paulson | Analysis builds using set_borel_measurable_def, etc. | file | diff | annotate |
| Thu, 03 Aug 2017 21:38:05 +0200 | paulson | eliminated more "guess", etc. | file | diff | annotate |
| Thu, 03 Aug 2017 11:29:08 +0200 | paulson | more tidying up | file | diff | annotate |
| Mon, 08 Aug 2016 14:13:14 +0200 | hoelzl | rename HOL-Multivariate_Analysis to HOL-Analysis. | file | diff | annotate | base |