src/HOL/document/root.tex
changeset 12410 ef373ec6ade8
parent 12033 69cb2059aadc
child 12737 b0b012b11a36
     1.1 --- a/src/HOL/document/root.tex	Thu Dec 06 16:05:06 2001 +0100
     1.2 +++ b/src/HOL/document/root.tex	Thu Dec 06 17:15:53 2001 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4  % $Id$
     1.5  
     1.6  \documentclass[11pt,a4paper]{article}
     1.7 -\usepackage{isabelle,isabellesym,latexsym}
     1.8 +\usepackage{graphicx,isabelle,isabellesym,latexsym}
     1.9  \usepackage{pdfsetup}
    1.10  
    1.11  \urlstyle{rm}
    1.12 @@ -15,6 +15,12 @@
    1.13  
    1.14  \tableofcontents
    1.15  
    1.16 +\begin{center}
    1.17 +  \includegraphics[scale=0.3]{session_graph}
    1.18 +\end{center}
    1.19 +
    1.20 +\newpage
    1.21 +
    1.22  \parindent 0pt\parskip 0.5ex
    1.23  \input{session}
    1.24