src/HOL/Probability/document/root.tex
author haftmann
Fri Jul 04 20:18:47 2014 +0200 (2014-07-04)
changeset 57512 cc97b347b301
parent 56994 8d5e5ec1cac3
child 58608 5b7f0b5da884
permissions -rw-r--r--
reduced name variants for assoc and commute on plus and mult
     1 
     2 % HOL/Multivariate_Analysis/document/root.tex
     3 
     4 \documentclass[11pt,a4paper]{article}
     5 \usepackage{graphicx,isabelle,isabellesym,latexsym,textcomp}
     6 \usepackage[only,bigsqcap]{stmaryrd}
     7 \usepackage[utf8]{inputenc}
     8 \usepackage{pdfsetup}
     9 
    10 \urlstyle{rm}
    11 \isabellestyle{it}
    12 \pagestyle{myheadings}
    13 
    14 \begin{document}
    15 
    16 \title{Measure and Probability Theory}
    17 \maketitle
    18 
    19 \tableofcontents
    20 
    21 \begin{center}
    22   \includegraphics[scale=0.45]{session_graph}
    23 \end{center}
    24 
    25 \renewcommand{\isamarkupheader}[1]%
    26 {\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
    27 
    28 \parindent 0pt\parskip 0.5ex
    29 \input{session}
    30 
    31 \end{document}