src/HOL/Probability/document/root.tex
changeset 56994 8d5e5ec1cac3
parent 40945 b8703f63bfb2
child 58608 5b7f0b5da884
equal deleted inserted replaced
56993:e5366291d6aa 56994:8d5e5ec1cac3
    11 \isabellestyle{it}
    11 \isabellestyle{it}
    12 \pagestyle{myheadings}
    12 \pagestyle{myheadings}
    13 
    13 
    14 \begin{document}
    14 \begin{document}
    15 
    15 
    16 \title{Multivariate Analysis}
    16 \title{Measure and Probability Theory}
    17 \maketitle
    17 \maketitle
    18 
    18 
    19 \tableofcontents
    19 \tableofcontents
    20 
    20 
    21 \begin{center}
    21 \begin{center}