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;
wenzelm@12033
     1
wenzelm@12033
     2
% $Id$
wenzelm@12033
     3
wenzelm@12033
     4
\documentclass[11pt,a4paper]{article}
wenzelm@12033
     5
\usepackage{isabelle,isabellesym,latexsym}
wenzelm@12033
     6
\usepackage{pdfsetup}
wenzelm@12033
     7
wenzelm@12033
     8
\urlstyle{rm}
wenzelm@12033
     9
\isabellestyle{it}
wenzelm@12033
    10
wenzelm@12033
    11
\begin{document}
wenzelm@12033
    12
wenzelm@12033
    13
\title{Isabelle/HOL --- Higher-Order Logic}
wenzelm@12033
    14
\maketitle
wenzelm@12033
    15
wenzelm@12033
    16
\tableofcontents
wenzelm@12033
    17
wenzelm@12033
    18
\parindent 0pt\parskip 0.5ex
wenzelm@12033
    19
\input{session}
wenzelm@12033
    20
wenzelm@12033
    21
\end{document}