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);
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@28216
    12
\usepackage{graphicx}
wenzelm@28216
    13
\usepackage{../iman,../extra,../isar,../ttbox}
wenzelm@28219
    14
\usepackage[nohyphen,strings]{../underscore}
wenzelm@28216
    15
\usepackage{../isabelle,../isabellesym}
wenzelm@28216
    16
\usepackage{../IsarRef/style}
wenzelm@28216
    17
\usepackage{../pdfsetup}
wenzelm@28216
    18
wenzelm@28216
    19
\hyphenation{Isabelle}
wenzelm@28216
    20
\hyphenation{Isar}
wenzelm@28216
    21
wenzelm@28216
    22
\isadroptag{theory}
wenzelm@3170
    23
wenzelm@10580
    24
\isabellestyle{it}
wenzelm@3170
    25
wenzelm@6623
    26
\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
wenzelm@3170
    27
wenzelm@28216
    28
\author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\
wenzelm@28221
    29
  TU München}
wenzelm@3170
    30
wenzelm@3170
    31
\makeindex
wenzelm@3170
    32
wenzelm@3170
    33
wenzelm@3170
    34
\begin{document}
wenzelm@4540
    35
wenzelm@3170
    36
\maketitle 
wenzelm@3170
    37
\pagenumbering{roman} \tableofcontents \clearfirst
wenzelm@3170
    38
wenzelm@28216
    39
\input{Thy/document/Basics}
wenzelm@28221
    40
\input{Thy/document/Presentation}
wenzelm@28224
    41
\input{Thy/document/Misc}
wenzelm@3170
    42
wenzelm@10580
    43
\appendix
wenzelm@10679
    44
\let\int\intorig
wenzelm@28226
    45
\input{Thy/document/Symbols}
wenzelm@10580
    46
wenzelm@7207
    47
\begingroup
wenzelm@7207
    48
  \bibliographystyle{plain} \small\raggedright\frenchspacing
wenzelm@7207
    49
  \bibliography{../manual}
wenzelm@7207
    50
\endgroup
wenzelm@7207
    51
wenzelm@8828
    52
\printindex
wenzelm@3170
    53
wenzelm@3170
    54
\end{document}