src/HOL/Analysis/document/root.tex
changeset 63627 6ddb43c6b711
parent 63497 ef794d2e3754
child 67143 db609ac2c307
equal deleted inserted replaced
63626:44ce6b524ff3 63627:6ddb43c6b711
       
     1 \documentclass[11pt,a4paper]{article}
       
     2 \usepackage{graphicx}
       
     3 \usepackage{isabelle}
       
     4 \usepackage{isabellesym}
       
     5 \usepackage{latexsym}
       
     6 \usepackage{textcomp}
       
     7 \usepackage{amsmath}
       
     8 \usepackage{amssymb}
       
     9 \usepackage[only,bigsqcap]{stmaryrd}
       
    10 \usepackage{pdfsetup}
       
    11 
       
    12 \urlstyle{rm}
       
    13 \isabellestyle{it}
       
    14 \pagestyle{myheadings}
       
    15 
       
    16 \begin{document}
       
    17 
       
    18 \title{Multivariate Analysis}
       
    19 \maketitle
       
    20 
       
    21 \tableofcontents
       
    22 
       
    23 \begin{center}
       
    24   \includegraphics[width=\linewidth]{session_graph}
       
    25 \end{center}
       
    26 
       
    27 \newpage
       
    28 
       
    29 \renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
       
    30 
       
    31 \parindent 0pt\parskip 0.5ex
       
    32 \input{session}
       
    33 
       
    34 \end{document}