src/HOL/document/root.tex
author wenzelm
Sat Nov 03 01:45:32 2001 +0100 (2001-11-03)
changeset 12033 69cb2059aadc
child 12410 ef373ec6ade8
permissions -rw-r--r--
document setup;
     1 
     2 % $Id$
     3 
     4 \documentclass[11pt,a4paper]{article}
     5 \usepackage{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 \parindent 0pt\parskip 0.5ex
    19 \input{session}
    20 
    21 \end{document}