--- a/src/HOL/IsaMakefile Thu Dec 06 16:05:06 2001 +0100
+++ b/src/HOL/IsaMakefile Thu Dec 06 17:15:53 2001 +0100
@@ -106,7 +106,7 @@
Wellfounded_Relations.thy arith_data.ML blastdata.ML cladata.ML \
document/root.tex equalities.ML hologic.ML meson_lemmas.ML mono.ML \
simpdata.ML subset.ML thy_syntax.ML
- @$(ISATOOL) usedir -b $(OUT)/Pure HOL
+ @$(ISATOOL) usedir -b -g true $(OUT)/Pure HOL
## HOL-Real
--- 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}