--- a/src/HOL/HoareParallel/document/root.tex Wed Mar 06 18:16:48 2002 +0100
+++ b/src/HOL/HoareParallel/document/root.tex Wed Mar 06 23:57:34 2002 +0100
@@ -22,6 +22,8 @@
\thispagestyle{empty}
\tableofcontents
+\clearpage
+
\begin{center}
\includegraphics[scale=0.7]{session_graph}
\end{center}