diff -r 25bf458af885 -r ef373ec6ade8 src/HOL/document/root.tex
--- a/src/HOL/document/root.tex	Thu Dec 06 16:05:06 2001 +0100
+++ b/src/HOL/document/root.tex	Thu Dec 06 17:15:53 2001 +0100
@@ -2,7 +2,7 @@
 % $Id$
 
 \documentclass[11pt,a4paper]{article}
-\usepackage{isabelle,isabellesym,latexsym}
+\usepackage{graphicx,isabelle,isabellesym,latexsym}
 \usepackage{pdfsetup}
 
 \urlstyle{rm}
@@ -15,6 +15,12 @@
 
 \tableofcontents
 
+\begin{center}
+  \includegraphics[scale=0.3]{session_graph}
+\end{center}
+
+\newpage
+
 \parindent 0pt\parskip 0.5ex
 \input{session}