src/HOL/Library/document/root.tex
author wenzelm
Wed Oct 18 23:31:16 2000 +0200 (2000-10-18)
changeset 10253 73b46b18c348
child 10286 fdcdb8a80988
permissions -rw-r--r--
"The Supplemental Isabelle/HOL Library";
     1 
     2 % $Id$
     3 
     4 \documentclass[11pt,a4paper]{article}
     5 \usepackage{ifthen}
     6 \usepackage{isabelle,isabellesym,pdfsetup}
     7 
     8 \urlstyle{rm}
     9 \isabellestyle{it}
    10 \pagestyle{myheadings}
    11 
    12 \begin{document}
    13 
    14 \title{The Supplemental Isabelle/HOL Library}
    15 \author{
    16   Gertrud Bauer \\
    17   Tobias Nipkow \\
    18   Lawrence C Paulson \\
    19   Markus Wenzel}
    20 \maketitle
    21 
    22 \tableofcontents
    23 \newpage
    24 
    25 %now hack the "header" markup to support \title and \author
    26 \newcommand{\isabelletitle}{}\newcommand{\title}[1]{\gdef\isabelletitle{#1}}
    27 \newcommand{\isabelleauthor}{}\newcommand{\author}[1]{\gdef\isabelleauthor{#1}}
    28 \renewcommand{\isamarkupheader}[1]%
    29 {\newpage\title{***~Theory ``\isabellecontext'': unknown title}\author{}#1%
    30 \markright{THEORY~``\isabellecontext''}
    31 \ifthenelse{\equal{}{\isabelletitle}}{}{\section{\isabelletitle}}%
    32 \ifthenelse{\equal{}{\isabelleauthor}}{}%
    33 {{\flushright\footnotesize\sl (By \isabelleauthor)\par\bigskip}}}
    34 
    35 \parindent 0pt \parskip 0.5ex
    36 \input{session}
    37 
    38 \pagestyle{headings}
    39 \bibliographystyle{abbrv}
    40 \bibliography{root}
    41 
    42 \end{document}