--- a/src/HOL/Probability/document/root.tex Mon May 19 12:04:45 2014 +0200
+++ b/src/HOL/Probability/document/root.tex Mon May 19 13:44:13 2014 +0200
@@ -13,7 +13,7 @@
\begin{document}
-\title{Multivariate Analysis}
+\title{Measure and Probability Theory}
\maketitle
\tableofcontents