--- a/src/HOL/NanoJava/document/root.tex Sat Oct 20 20:21:40 2001 +0200
+++ b/src/HOL/NanoJava/document/root.tex Sat Oct 20 20:22:17 2001 +0200
@@ -1,5 +1,5 @@
\documentclass[11pt,a4paper]{article}
-\usepackage{latexsym,isabelle,isabellesym,latexsym,pdfsetup}
+\usepackage{graphicx,latexsym,isabelle,isabellesym,latexsym,pdfsetup}
\urlstyle{tt}
\pagestyle{myheadings}
@@ -43,6 +43,10 @@
\tableofcontents
\parindent 0pt \parskip 0.5ex
+\begin{center}
+ \includegraphics[scale=0.7]{session_graph}
+\end{center}
+
\newpage
\input{session}