src/HOL/Analysis/document/root.tex
changeset 67143 db609ac2c307
parent 63627 6ddb43c6b711
child 69517 dc20f278e8f3
equal deleted inserted replaced
67142:fa1173288322 67143:db609ac2c307
    13 \isabellestyle{it}
    13 \isabellestyle{it}
    14 \pagestyle{myheadings}
    14 \pagestyle{myheadings}
    15 
    15 
    16 \begin{document}
    16 \begin{document}
    17 
    17 
    18 \title{Multivariate Analysis}
    18 \title{Analysis}
    19 \maketitle
    19 \maketitle
    20 
    20 
    21 \tableofcontents
    21 \tableofcontents
    22 
    22 
    23 \begin{center}
    23 \begin{center}