doc-src/System/system.tex
author wenzelm
Mon, 12 May 1997 18:34:49 +0200
changeset 3172 629d63c74ddc
parent 3170 0b3ff84bab29
child 3188 445555a7b714
permissions -rw-r--r--
*** empty log message ***
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}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     5
\usepackage{a4,epsf}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     6
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     7
\makeatletter
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     8
\input{../iman.sty}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
     9
\input{../extra.sty}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    10
\makeatother
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    11
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    12
\title{The Isabelle System Manual}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    13
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    14
\author{{\em Lawrence C. Paulson}\\
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    15
        Computer Laboratory \\ University of Cambridge \\
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    16
        \texttt{lcp@cl.cam.ac.uk}\\[3ex] 
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    17
        With Contributions by Tobias Nipkow and Markus Wenzel%
3172
629d63c74ddc *** empty log message ***
wenzelm
parents: 3170
diff changeset
    18
        \thanks{Chapter~\protect\ref{html} was written by Carsten
629d63c74ddc *** empty log message ***
wenzelm
parents: 3170
diff changeset
    19
          Clasohm.  Chapter~\protect\ref{browse} was written by Stefan
629d63c74ddc *** empty log message ***
wenzelm
parents: 3170
diff changeset
    20
          Berghofer. Some other parts are by Markus Wenzel.}}
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    21
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    22
\makeindex
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    23
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    24
\setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    25
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    26
\pagestyle{headings}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    27
\sloppy
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    28
\binperiod     %%%treat . like a binary operator
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    29
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    30
\begin{document}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    31
\underscoreoff
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    32
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    33
\maketitle 
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    34
\pagenumbering{roman} \tableofcontents \clearfirst
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    35
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    36
%\include{introduction}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    37
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    38
\include{html}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    39
\include{browse}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    40
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    41
%\begingroup
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    42
%  \bibliographystyle{plain} \small\raggedright\frenchspacing
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    43
%  \bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    44
%\endgroup
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    45
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    46
\input{system.ind}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    47
\end{document}