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