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
hoelzl@38656
     1
hoelzl@38656
     2
% HOL/Multivariate_Analysis/document/root.tex
hoelzl@38656
     3
hoelzl@38656
     4
\documentclass[11pt,a4paper]{article}
wenzelm@40945
     5
\usepackage{graphicx,isabelle,isabellesym,latexsym,textcomp}
hoelzl@38656
     6
\usepackage[only,bigsqcap]{stmaryrd}
wenzelm@40945
     7
\usepackage[utf8]{inputenc}
hoelzl@38656
     8
\usepackage{pdfsetup}
hoelzl@38656
     9
hoelzl@38656
    10
\urlstyle{rm}
hoelzl@38656
    11
\isabellestyle{it}
hoelzl@38656
    12
\pagestyle{myheadings}
hoelzl@38656
    13
hoelzl@38656
    14
\begin{document}
hoelzl@38656
    15
hoelzl@56994
    16
\title{Measure and Probability Theory}
hoelzl@38656
    17
\maketitle
hoelzl@38656
    18
hoelzl@38656
    19
\tableofcontents
hoelzl@38656
    20
hoelzl@38656
    21
\begin{center}
hoelzl@38656
    22
  \includegraphics[scale=0.45]{session_graph}
hoelzl@38656
    23
\end{center}
hoelzl@38656
    24
hoelzl@38656
    25
\renewcommand{\isamarkupheader}[1]%
hoelzl@38656
    26
{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
hoelzl@38656
    27
hoelzl@38656
    28
\parindent 0pt\parskip 0.5ex
hoelzl@38656
    29
\input{session}
hoelzl@38656
    30
hoelzl@38656
    31
\end{document}