src/HOL/document/root.tex
author haftmann
Fri Mar 06 20:30:18 2009 +0100 (2009-03-06)
changeset 30329 97ce36d801b6
parent 28246 8fc6ea9a2d8c
child 40945 b8703f63bfb2
permissions -rw-r--r--
added babel -- necessary for bind infix syntax
     1 
     2 \documentclass[11pt,a4paper]{article}
     3 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     4 \usepackage{amssymb}
     5 \usepackage[english]{babel}
     6 \usepackage[only,bigsqcap]{stmaryrd}
     7 \usepackage[latin1]{inputenc}
     8 \usepackage{pdfsetup}
     9 
    10 \urlstyle{rm}
    11 \isabellestyle{it}
    12 \pagestyle{myheadings}
    13 
    14 \begin{document}
    15 
    16 \title{Isabelle/HOL --- Higher-Order Logic}
    17 \maketitle
    18 
    19 \tableofcontents
    20 
    21 \begin{center}
    22   \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
    23 \end{center}
    24 
    25 \newpage
    26 
    27 \renewcommand{\isamarkupheader}[1]%
    28 {\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
    29 
    30 \parindent 0pt\parskip 0.5ex
    31 \input{session}
    32 
    33 \pagestyle{headings}
    34 \bibliographystyle{abbrv}
    35 \bibliography{root}
    36 
    37 \end{document}