--- a/src/HOL/Analysis/document/root.tex Wed Dec 06 09:11:27 2017 +0100
+++ b/src/HOL/Analysis/document/root.tex Wed Dec 06 15:17:05 2017 +0100
@@ -15,7 +15,7 @@
\begin{document}
-\title{Multivariate Analysis}
+\title{Analysis}
\maketitle
\tableofcontents