src/HOL/document/root.tex
author nipkow
Sun Apr 10 17:19:03 2005 +0200 (2005-04-10)
changeset 15691 900cf45ff0a6
parent 15503 38616a65bfbd
child 16764 ca81a99c5bc1
permissions -rw-r--r--
_(_|_) is now override_on
     1 
     2 % $Id$
     3 
     4 \documentclass[11pt,a4paper]{article}
     5 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     6 \usepackage{amssymb}
     7 \usepackage[only,bigsqcap]{stmaryrd}
     8 \usepackage[latin1]{inputenc}
     9 \usepackage{pdfsetup}
    10 
    11 \urlstyle{rm}
    12 \isabellestyle{it}
    13 \pagestyle{myheadings}
    14 
    15 \begin{document}
    16 
    17 \title{Isabelle/HOL --- Higher-Order Logic}
    18 \maketitle
    19 
    20 \tableofcontents
    21 
    22 \begin{center}
    23   \includegraphics[scale=0.3]{session_graph}
    24 \end{center}
    25 
    26 \newpage
    27 
    28 \renewcommand{\isamarkupheader}[1]%
    29 {\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
    30 
    31 \parindent 0pt\parskip 0.5ex
    32 \input{session}
    33 
    34 \end{document}