src/HOL/document/root.tex
author wenzelm
Fri Apr 16 21:00:53 2004 +0200 (2004-04-16)
changeset 14608 9f9d651d676b
parent 12737 b0b012b11a36
child 14706 71590b7733b7
permissions -rw-r--r--
more elaborate header markup;
     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 \pagestyle{myheadings}
    12 
    13 \begin{document}
    14 
    15 \title{Isabelle/HOL --- Higher-Order Logic}
    16 \maketitle
    17 
    18 \tableofcontents
    19 
    20 \begin{center}
    21   \includegraphics[scale=0.3]{session_graph}
    22 \end{center}
    23 
    24 \newpage
    25 
    26 \renewcommand{\isamarkupheader}[1]%
    27 {\section{\isabellecontext: #1}%
    28 \markright{THEORY~``\isabellecontext''}}
    29 
    30 \parindent 0pt\parskip 0.5ex
    31 \input{session}
    32 
    33 \end{document}