src/ZF/Constructible/document/root.tex
author wenzelm
Sun Jul 28 21:09:37 2002 +0200 (2002-07-28)
changeset 13427 b429fd98549c
parent 13323 2c287f50c9f3
child 13543 2b3c7e319d82
permissions -rw-r--r--
tuned document;
wenzelm@13295
     1
wenzelm@13295
     2
\documentclass[11pt,a4paper]{article}
wenzelm@13427
     3
\usepackage{graphicx}
wenzelm@13295
     4
\usepackage{isabelle,isabellesym}
wenzelm@13427
     5
\usepackage{pdfsetup}\urlstyle{rm}
wenzelm@13295
     6
wenzelm@13295
     7
wenzelm@13295
     8
\begin{document}
wenzelm@13295
     9
wenzelm@13295
    10
\title{Constructible}
wenzelm@13295
    11
\author{Lawrence C Paulson}
wenzelm@13295
    12
\maketitle
wenzelm@13295
    13
wenzelm@13295
    14
\tableofcontents
wenzelm@13295
    15
wenzelm@13427
    16
\begin{center}
wenzelm@13427
    17
  \includegraphics[scale=0.7]{session_graph}
wenzelm@13427
    18
\end{center}
wenzelm@13427
    19
wenzelm@13427
    20
\newpage
wenzelm@13427
    21
wenzelm@13295
    22
\parindent 0pt\parskip 0.5ex
wenzelm@13295
    23
wenzelm@13295
    24
\input{session}
wenzelm@13295
    25
wenzelm@13295
    26
%\bibliographystyle{abbrv}
wenzelm@13295
    27
%\bibliography{root}
wenzelm@13295
    28
wenzelm@13295
    29
\end{document}