diff -r d3be9be2b307 -r dca23533bdfb src/HOL/HoareParallel/document/root.tex
--- 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}