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