src/HOL/Analysis/document/root.tex
Sun, 06 Jan 2019 15:39:05 +0100 wenzelm tuned document layout;
Sat, 29 Dec 2018 15:43:53 +0100 nipkow capitalize proper names in lemma names
Fri, 28 Dec 2018 18:53:19 +0100 nipkow tuned headers etc, added bib-file
Fri, 28 Dec 2018 10:29:59 +0100 nipkow tuned style and headers
Wed, 06 Dec 2017 15:17:05 +0100 nipkow initial version of Analysis document
Mon, 08 Aug 2016 14:13:14 +0200 hoelzl rename HOL-Multivariate_Analysis to HOL-Analysis.
less more (0) tip