src/HOL/Library/Library/document/root.tex
author wenzelm
Fri Apr 16 13:51:04 2004 +0200 (2004-04-16)
changeset 14589 feae7b5fd425
parent 12816 668073849ca9
child 14706 71590b7733b7
permissions -rw-r--r--
tuned document;
wenzelm@12811
     1
wenzelm@12811
     2
% $Id$
wenzelm@12811
     3
wenzelm@12811
     4
\documentclass[11pt,a4paper]{article}
wenzelm@12811
     5
\usepackage{ifthen}
wenzelm@12816
     6
\usepackage[latin1]{inputenc}
wenzelm@12811
     7
\usepackage{isabelle,isabellesym,pdfsetup}
wenzelm@12811
     8
wenzelm@12811
     9
\urlstyle{rm}
wenzelm@12811
    10
\isabellestyle{it}
wenzelm@12811
    11
\pagestyle{myheadings}
wenzelm@12811
    12
wenzelm@12811
    13
\begin{document}
wenzelm@12811
    14
wenzelm@12811
    15
\title{The Supplemental Isabelle/HOL Library}
wenzelm@12811
    16
\author{
wenzelm@12811
    17
  Gertrud Bauer \\
wenzelm@12811
    18
  Tobias Nipkow \\
wenzelm@12811
    19
  David von Oheimb \\
wenzelm@12811
    20
  Lawrence C Paulson \\
wenzelm@12811
    21
  Thomas M Rasmussen \\
wenzelm@14589
    22
  Stefan Richter \\
wenzelm@14589
    23
  Sebastian Skalberg \\
wenzelm@12811
    24
  Christophe Tabacznyj \\
wenzelm@12811
    25
  Markus Wenzel}
wenzelm@12811
    26
\maketitle
wenzelm@12811
    27
wenzelm@12811
    28
\tableofcontents
wenzelm@12811
    29
\newpage
wenzelm@12811
    30
wenzelm@12811
    31
%now hack the "header" markup to support \title and \author
wenzelm@12811
    32
\newcommand{\isabelletitle}{}\newcommand{\title}[1]{\gdef\isabelletitle{#1}}
wenzelm@12811
    33
\newcommand{\isabelleauthor}{}\newcommand{\author}[1]{\gdef\isabelleauthor{#1}}
wenzelm@12811
    34
\renewcommand{\isamarkupheader}[1]%
wenzelm@12811
    35
{\title{***~Theory ``\isabellecontext'': unknown title}\author{}%
wenzelm@12811
    36
#1%
wenzelm@12811
    37
\ifthenelse{\equal{}{\isabelletitle}}{}{\newpage\section{\isabelletitle}}%
wenzelm@12811
    38
\markright{THEORY~``\isabellecontext''}%
wenzelm@12811
    39
\ifthenelse{\equal{}{\isabelleauthor}}{}%
wenzelm@12811
    40
{{\flushright\footnotesize\sl (By \isabelleauthor)\par\bigskip}}}
wenzelm@12811
    41
wenzelm@12811
    42
\parindent 0pt \parskip 0.5ex
wenzelm@12811
    43
\input{session}
wenzelm@12811
    44
wenzelm@12811
    45
\pagestyle{headings}
wenzelm@12811
    46
\bibliographystyle{abbrv}
wenzelm@12811
    47
\bibliography{root}
wenzelm@12811
    48
wenzelm@12811
    49
\end{document}