doc-src/System/system.tex
author wenzelm
Mon, 10 May 1999 16:35:22 +0200
changeset 6623 021728c71030
parent 5170 33fbffd06c12
child 7207 ad69aa13ddf6
permissions -rw-r--r--
pdf setup;
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}
5165
ac83801ab294 added pdfsetup and isabelle logo;
wenzelm
parents: 4553
diff changeset
     5
\usepackage{graphicx,a4,../iman,../extra,../pdfsetup}
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     6
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     7
6623
021728c71030 pdf setup;
wenzelm
parents: 5170
diff changeset
     8
\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
3170
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}