# HG changeset patch
# User wenzelm
# Date 1007655353 -3600
# Node ID ef373ec6ade85da7e4560c3882bb3323f2973d0f
# Parent  25bf458af885da4956b17868ddc12a60dec96994
include session graph;

diff -r 25bf458af885 -r ef373ec6ade8 src/HOL/IsaMakefile
--- 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
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}