added session_graph;

--- a/src/HOL/HoareParallel/document/root.tex	Wed Mar 06 17:54:43 2002 +0100
+++ b/src/HOL/HoareParallel/document/root.tex	Wed Mar 06 17:55:10 2002 +0100
@@ -1,9 +1,12 @@
+
+% $Id$
 
 \documentclass[11pt,a4paper]{book}
-\usepackage{isabelle,isabellesym,pdfsetup}
+\usepackage{graphicx}
 \usepackage[english]{babel}
+\usepackage{isabelle,isabellesym}
+\usepackage{pdfsetup}
 
-%for best-style documents ...
 \urlstyle{rm}
 \isabellestyle{it}
 
@@ -19,6 +22,12 @@
 \thispagestyle{empty}
 \tableofcontents
 
+\begin{center}
+  \includegraphics[scale=0.7]{session_graph}  
+\end{center}
+
+\newpage
+
 \parindent 0pt\parskip 0.5ex
 \input{session}