doc-src/System/system.tex
author wenzelm
Sat May 17 13:54:30 2008 +0200 (2008-05-17)
changeset 26928 ca87aff1ad2d
parent 13951 e2bf2551eb9a
child 27639 83e6a4c43d17
permissions -rw-r--r--
structure Display: less pervasive operations;
     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,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup}
    13 
    14 \isabellestyle{it}
    15 
    16 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
    17 
    18 \author{\emph{Markus Wenzel} and \emph{Stefan Berghofer} \\
    19   TU M\"unchen}
    20 
    21 \makeindex
    22 
    23 \setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}
    24 
    25 \pagestyle{headings}
    26 \sloppy
    27 \binperiod     %%%treat . like a binary operator
    28 
    29 \begin{document}
    30 
    31 \underscoreoff
    32 
    33 \maketitle 
    34 \pagenumbering{roman} \tableofcontents \clearfirst
    35 
    36 \include{basics}
    37 \include{present}
    38 \include{misc}
    39 
    40 \appendix
    41 \let\int\intorig
    42 \include{symbols}
    43 
    44 \begingroup
    45   \bibliographystyle{plain} \small\raggedright\frenchspacing
    46   \bibliography{../manual}
    47 \endgroup
    48 
    49 \printindex
    50 
    51 \end{document}