Sat, 29 Dec 2018 15:43:53 +0100 | nipkow | capitalize proper names in lemma names | file | diff | annotate |
Fri, 28 Dec 2018 18:53:19 +0100 | nipkow | tuned headers etc, added bib-file | file | diff | annotate |
Fri, 28 Dec 2018 10:29:59 +0100 | nipkow | tuned style and headers | file | diff | annotate |
Wed, 06 Dec 2017 15:17:05 +0100 | nipkow | initial version of Analysis document | file | diff | annotate |
Mon, 08 Aug 2016 14:13:14 +0200 | hoelzl | rename HOL-Multivariate_Analysis to HOL-Analysis. | file | diff | annotate | base |