src/HOL/Probability/document/root.tex

Rewrite the Probability theory.

Introduced pinfreal as real numbers with infinity.
Use pinfreal as value for measures.
Introduces Lebesgue Measure based on the integral in Multivariate Analysis.
Proved Radon Nikodym for arbitrary sigma finite measure spaces.

% HOL/Multivariate_Analysis/document/root.tex

\documentclass[11pt,a4paper]{article}
\usepackage{graphicx,isabelle,isabellesym,latexsym}
\usepackage[only,bigsqcap]{stmaryrd}
\usepackage[latin1]{inputenc}
\usepackage{pdfsetup}

\urlstyle{rm}
\isabellestyle{it}
\pagestyle{myheadings}

\begin{document}

\title{Multivariate Analysis}
\maketitle

\tableofcontents

\begin{center}
  \includegraphics[scale=0.45]{session_graph}
\end{center}

\renewcommand{\isamarkupheader}[1]%
{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}

\parindent 0pt\parskip 0.5ex
\input{session}

\end{document}