# HG changeset patch
# User wenzelm
# Date 1003602137 -7200
# Node ID bdae1f29f35dacc1d60c87e378ccfd9a31ca662f
# Parent  56bc01962cf266155fa2a19491bc3c89e9ddc2ec
include document graph;

diff -r 56bc01962cf2 -r bdae1f29f35d src/HOL/Lambda/document/root.tex
--- a/src/HOL/Lambda/document/root.tex	Sat Oct 20 20:21:40 2001 +0200
+++ b/src/HOL/Lambda/document/root.tex	Sat Oct 20 20:22:17 2001 +0200
@@ -2,6 +2,7 @@
 % $Id$
 
 \documentclass[11pt,a4paper]{article}
+\usepackage{graphicx}
 \usepackage{isabelle,isabellesym,pdfsetup}
 
 \isabellestyle{it}
@@ -14,6 +15,11 @@
 \maketitle
 
 \tableofcontents
+
+\begin{center}
+  \includegraphics[scale=0.7]{session_graph}  
+\end{center}
+
 \newpage
 
 \parindent 0pt \parskip 0.5ex
diff -r 56bc01962cf2 -r bdae1f29f35d src/HOL/MicroJava/document/root.tex
--- a/src/HOL/MicroJava/document/root.tex	Sat Oct 20 20:21:40 2001 +0200
+++ b/src/HOL/MicroJava/document/root.tex	Sat Oct 20 20:22:17 2001 +0200
@@ -1,6 +1,6 @@
 
 \documentclass[11pt,a4paper]{article}
-\usepackage{latexsym,isabelle,isabellesym,pdfsetup}
+\usepackage{graphicx,latexsym,isabelle,isabellesym,pdfsetup}
 
 \urlstyle{rm}
 \pagestyle{myheadings}
@@ -46,6 +46,10 @@
 \tableofcontents
 \parindent 0pt \parskip 0.5ex
 
+\begin{center}
+  \includegraphics[scale=0.4]{session_graph}
+\end{center}
+
 \newpage
 \input{session}
 
diff -r 56bc01962cf2 -r bdae1f29f35d src/HOL/NanoJava/document/root.tex
--- 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}
 
diff -r 56bc01962cf2 -r bdae1f29f35d src/HOL/NumberTheory/document/root.tex
--- a/src/HOL/NumberTheory/document/root.tex	Sat Oct 20 20:21:40 2001 +0200
+++ b/src/HOL/NumberTheory/document/root.tex	Sat Oct 20 20:22:17 2001 +0200
@@ -1,5 +1,6 @@
 
 \documentclass[11pt,a4paper]{article}
+\usepackage{graphicx}
 \usepackage{isabelle,isabellesym,pdfsetup}
 
 \urlstyle{rm}
@@ -14,6 +15,11 @@
 \maketitle
 
 \tableofcontents
+
+\begin{center}
+  \includegraphics[scale=0.7]{session_graph}  
+\end{center}
+
 \newpage
 
 \parindent 0pt\parskip 0.5ex