src/HOL/document/root.tex
author wenzelm
Thu Dec 06 17:15:53 2001 +0100 (2001-12-06)
changeset 12410 ef373ec6ade8
parent 12033 69cb2059aadc
child 12737 b0b012b11a36
permissions -rw-r--r--
include session graph;
     1 
     2 % $Id$
     3 
     4 \documentclass[11pt,a4paper]{article}
     5 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     6 \usepackage{pdfsetup}
     7 
     8 \urlstyle{rm}
     9 \isabellestyle{it}
    10 
    11 \begin{document}
    12 
    13 \title{Isabelle/HOL --- Higher-Order Logic}
    14 \maketitle
    15 
    16 \tableofcontents
    17 
    18 \begin{center}
    19   \includegraphics[scale=0.3]{session_graph}
    20 \end{center}
    21 
    22 \newpage
    23 
    24 \parindent 0pt\parskip 0.5ex
    25 \input{session}
    26 
    27 \end{document}