doc-src/System/system.tex
author wenzelm
Wed Jan 24 20:56:12 2001 +0100 (2001-01-24)
changeset 10974 f23a58cf12a4
parent 10679 b619b56f562f
child 12351 54aef8e41437
permissions -rw-r--r--
more symbols;
     1 
     2 %% $Id$
     3 
     4 \documentclass[12pt,a4paper]{report}
     5 \usepackage{latexsym}
     6 \usepackage{amssymb}
     7 \usepackage[english]{babel}
     8 \usepackage[latin1]{inputenc}
     9 \usepackage[only,bigsqcap]{stmaryrd}
    10 \usepackage{wasysym}
    11 \usepackage{eufrak}
    12 \usepackage{supertabular}
    13 \let\intorig=\int  %iman.sty redefines \int
    14 \usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup}
    15 
    16 \isabellestyle{it}
    17 
    18 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
    19 
    20 \author{\emph{Markus Wenzel} and \emph{Stefan Berghofer} \\
    21   TU M\"unchen}
    22 
    23 \makeindex
    24 
    25 \setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}
    26 
    27 \pagestyle{headings}
    28 \sloppy
    29 \binperiod     %%%treat . like a binary operator
    30 
    31 \begin{document}
    32 
    33 \underscoreoff
    34 
    35 \maketitle 
    36 \pagenumbering{roman} \tableofcontents \clearfirst
    37 
    38 \include{basics}
    39 \include{present}
    40 \include{misc}
    41 \include{fonts}
    42 
    43 \appendix
    44 \let\int\intorig
    45 \include{symbols}
    46 
    47 \begingroup
    48   \bibliographystyle{plain} \small\raggedright\frenchspacing
    49   \bibliography{../manual}
    50 \endgroup
    51 
    52 \printindex
    53 
    54 \end{document}