src/HOL/Probability/document/root.tex
author wenzelm
Thu, 18 Apr 2013 17:07:01 +0200
changeset 51717 9e7d1c139569
parent 40945 b8703f63bfb2
child 56994 8d5e5ec1cac3
permissions -rw-r--r--
simplifier uses proper Proof.context instead of historic type simpset;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
38656
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
     1
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
     2
% HOL/Multivariate_Analysis/document/root.tex
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
     3
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
     4
\documentclass[11pt,a4paper]{article}
40945
b8703f63bfb2 recoded latin1 as utf8;
wenzelm
parents: 38656
diff changeset
     5
\usepackage{graphicx,isabelle,isabellesym,latexsym,textcomp}
38656
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
     6
\usepackage[only,bigsqcap]{stmaryrd}
40945
b8703f63bfb2 recoded latin1 as utf8;
wenzelm
parents: 38656
diff changeset
     7
\usepackage[utf8]{inputenc}
38656
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
     8
\usepackage{pdfsetup}
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
     9
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    10
\urlstyle{rm}
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    11
\isabellestyle{it}
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    12
\pagestyle{myheadings}
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    13
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    14
\begin{document}
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    15
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    16
\title{Multivariate Analysis}
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    17
\maketitle
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    18
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    19
\tableofcontents
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    20
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    21
\begin{center}
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    22
  \includegraphics[scale=0.45]{session_graph}
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    23
\end{center}
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    24
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    25
\renewcommand{\isamarkupheader}[1]%
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    26
{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    27
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    28
\parindent 0pt\parskip 0.5ex
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    29
\input{session}
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    30
d5d342611edb Rewrite the Probability theory.
hoelzl
parents:
diff changeset
    31
\end{document}