src/HOL/Analysis/document/root.tex
changeset 67143 db609ac2c307
parent 63627 6ddb43c6b711
child 69517 dc20f278e8f3
     1.1 --- a/src/HOL/Analysis/document/root.tex	Wed Dec 06 09:11:27 2017 +0100
     1.2 +++ b/src/HOL/Analysis/document/root.tex	Wed Dec 06 15:17:05 2017 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4  
     1.5  \begin{document}
     1.6  
     1.7 -\title{Multivariate Analysis}
     1.8 +\title{Analysis}
     1.9  \maketitle
    1.10  
    1.11  \tableofcontents