doc-src/System/system.tex
author wenzelm
Sat Nov 15 21:31:13 2008 +0100 (2008-11-15)
changeset 28797 9dcd32ee5dbe
parent 28226 97c530dc8aca
child 28838 d5db6dfcb34a
permissions -rw-r--r--
rewrite_proof: simplified simprocs (no name required);
     1 
     2 %% $Id$
     3 
     4 \documentclass[12pt,a4paper]{report}
     5 \usepackage{amssymb}
     6 \usepackage[greek,english]{babel}
     7 \usepackage[latin1]{inputenc}
     8 \usepackage[only,bigsqcap]{stmaryrd}
     9 \usepackage{textcomp}
    10 \usepackage{supertabular}
    11 \let\intorig=\int  %iman.sty redefines \int
    12 \usepackage{graphicx}
    13 \usepackage{../iman,../extra,../isar,../ttbox}
    14 \usepackage[nohyphen,strings]{../underscore}
    15 \usepackage{../isabelle,../isabellesym}
    16 \usepackage{../IsarRef/style}
    17 \usepackage{../pdfsetup}
    18 
    19 \hyphenation{Isabelle}
    20 \hyphenation{Isar}
    21 
    22 \isadroptag{theory}
    23 
    24 \isabellestyle{it}
    25 
    26 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
    27 
    28 \author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\
    29   TU München}
    30 
    31 \makeindex
    32 
    33 
    34 \begin{document}
    35 
    36 \maketitle 
    37 \pagenumbering{roman} \tableofcontents \clearfirst
    38 
    39 \input{Thy/document/Basics}
    40 \input{Thy/document/Presentation}
    41 \input{Thy/document/Misc}
    42 
    43 \appendix
    44 \let\int\intorig
    45 \input{Thy/document/Symbols}
    46 
    47 \begingroup
    48   \bibliographystyle{plain} \small\raggedright\frenchspacing
    49   \bibliography{../manual}
    50 \endgroup
    51 
    52 \printindex
    53 
    54 \end{document}