src/ZF/Constructible/document/root.tex
changeset 13427 b429fd98549c
parent 13323 2c287f50c9f3
child 13543 2b3c7e319d82
     1.1 --- a/src/ZF/Constructible/document/root.tex	Sat Jul 27 21:55:14 2002 +0200
     1.2 +++ b/src/ZF/Constructible/document/root.tex	Sun Jul 28 21:09:37 2002 +0200
     1.3 @@ -1,23 +1,8 @@
     1.4  
     1.5  \documentclass[11pt,a4paper]{article}
     1.6 +\usepackage{graphicx}
     1.7  \usepackage{isabelle,isabellesym}
     1.8 -
     1.9 -% further packages required for unusual symbols (see also isabellesym.sty)
    1.10 -%\usepackage{latexsym}
    1.11 -%\usepackage{amssymb}
    1.12 -%\usepackage[english]{babel}
    1.13 -%\usepackage[latin1]{inputenc}
    1.14 -%\usepackage[only,bigsqcap]{stmaryrd}
    1.15 -%\usepackage{wasysym}
    1.16 -%\usepackage{eufrak}
    1.17 -%\usepackage{textcomp}
    1.18 -%\usepackage{marvosym}
    1.19 -
    1.20 -% this should be the last package used
    1.21 -\usepackage{pdfsetup}
    1.22 -
    1.23 -\urlstyle{rm}
    1.24 -\isabellestyle{tt} %and not {it}!
    1.25 +\usepackage{pdfsetup}\urlstyle{rm}
    1.26  
    1.27  
    1.28  \begin{document}
    1.29 @@ -28,9 +13,14 @@
    1.30  
    1.31  \tableofcontents
    1.32  
    1.33 +\begin{center}
    1.34 +  \includegraphics[scale=0.7]{session_graph}
    1.35 +\end{center}
    1.36 +
    1.37 +\newpage
    1.38 +
    1.39  \parindent 0pt\parskip 0.5ex
    1.40  
    1.41 -% include generated text of all theories
    1.42  \input{session}
    1.43  
    1.44  %\bibliographystyle{abbrv}