doc-src/System/system.tex
author wenzelm
Mon, 12 Jan 1998 13:32:47 +0100
changeset 4553 779d55cc6328
parent 4540 24fcf5ecae88
child 5165 ac83801ab294
permissions -rw-r--r--
fixed author;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     1
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     2
%% $Id$
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     3
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     4
\documentclass[12pt]{report}
4540
24fcf5ecae88 updated to Isabelle98;
wenzelm
parents: 3754
diff changeset
     5
\usepackage{a4,graphicx,../iman,../extra}
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     6
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     7
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     8
\title{The Isabelle System Manual}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     9
4553
779d55cc6328 fixed author;
wenzelm
parents: 4540
diff changeset
    10
\author{{\em Markus Wenzel}\/\thanks{Section~\protect\ref{sec:info} was
779d55cc6328 fixed author;
wenzelm
parents: 4540
diff changeset
    11
    written by Carsten Clasohm.  Section~\protect\ref{sec:browse} was
779d55cc6328 fixed author;
wenzelm
parents: 4540
diff changeset
    12
    written by Stefan Berghofer.} \\
779d55cc6328 fixed author;
wenzelm
parents: 4540
diff changeset
    13
  TU M\"unchen}
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    14
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    15
\makeindex
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    16
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    17
\setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    18
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    19
\pagestyle{headings}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    20
\sloppy
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    21
\binperiod     %%%treat . like a binary operator
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    22
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    23
\begin{document}
4540
24fcf5ecae88 updated to Isabelle98;
wenzelm
parents: 3754
diff changeset
    24
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    25
\underscoreoff
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    26
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    27
\maketitle 
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    28
\pagenumbering{roman} \tableofcontents \clearfirst
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    29
3188
445555a7b714 preliminary!
wenzelm
parents: 3172
diff changeset
    30
\include{basics}
445555a7b714 preliminary!
wenzelm
parents: 3172
diff changeset
    31
\include{misc}
445555a7b714 preliminary!
wenzelm
parents: 3172
diff changeset
    32
\include{fonts}
445555a7b714 preliminary!
wenzelm
parents: 3172
diff changeset
    33
\include{present}
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    34
4540
24fcf5ecae88 updated to Isabelle98;
wenzelm
parents: 3754
diff changeset
    35
\input{system.ind}
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    36
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    37
\end{document}