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;
wenzelm@3170
     1
wenzelm@3170
     2
%% $Id$
wenzelm@3170
     3
wenzelm@7838
     4
\documentclass[12pt,a4paper]{report}
wenzelm@10580
     5
\usepackage{amssymb}
kleing@13951
     6
\usepackage[greek,english]{babel}
wenzelm@10580
     7
\usepackage[latin1]{inputenc}
wenzelm@10580
     8
\usepackage[only,bigsqcap]{stmaryrd}
wenzelm@12351
     9
\usepackage{textcomp}
wenzelm@10580
    10
\usepackage{supertabular}
wenzelm@10679
    11
\let\intorig=\int  %iman.sty redefines \int
wenzelm@10580
    12
\usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup}
wenzelm@3170
    13
wenzelm@10580
    14
\isabellestyle{it}
wenzelm@3170
    15
wenzelm@6623
    16
\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
wenzelm@3170
    17
wenzelm@7258
    18
\author{\emph{Markus Wenzel} and \emph{Stefan Berghofer} \\
wenzelm@4553
    19
  TU M\"unchen}
wenzelm@3170
    20
wenzelm@3170
    21
\makeindex
wenzelm@3170
    22
wenzelm@3170
    23
\setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}
wenzelm@3170
    24
wenzelm@3170
    25
\pagestyle{headings}
wenzelm@3170
    26
\sloppy
wenzelm@3170
    27
\binperiod     %%%treat . like a binary operator
wenzelm@3170
    28
wenzelm@3170
    29
\begin{document}
wenzelm@4540
    30
wenzelm@3170
    31
\underscoreoff
wenzelm@3170
    32
wenzelm@3170
    33
\maketitle 
wenzelm@3170
    34
\pagenumbering{roman} \tableofcontents \clearfirst
wenzelm@3170
    35
wenzelm@3188
    36
\include{basics}
wenzelm@7849
    37
\include{present}
wenzelm@7882
    38
\include{misc}
wenzelm@3170
    39
wenzelm@10580
    40
\appendix
wenzelm@10679
    41
\let\int\intorig
wenzelm@10580
    42
\include{symbols}
wenzelm@10580
    43
wenzelm@7207
    44
\begingroup
wenzelm@7207
    45
  \bibliographystyle{plain} \small\raggedright\frenchspacing
wenzelm@7207
    46
  \bibliography{../manual}
wenzelm@7207
    47
\endgroup
wenzelm@7207
    48
wenzelm@8828
    49
\printindex
wenzelm@3170
    50
wenzelm@3170
    51
\end{document}