# HG changeset patch
# User wenzelm
# Date 1015433710 -3600
# Node ID d6a09050a40d2da9310de822252855a0f5696258
# Parent  1ec445c51931bd8db537011b7c420c0024a5c8ff
added session_graph;

diff -r 1ec445c51931 -r d6a09050a40d src/HOL/HoareParallel/document/root.tex
--- 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}