doc-src/System/system.tex
author wenzelm
Thu, 17 Jul 1997 15:03:38 +0200
changeset 3524 c02cb15830de
parent 3285 9a3fe25f30bb
child 3696 e2af92a3281b
permissions -rw-r--r--
fixed EqI meta rule;
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}
3285
9a3fe25f30bb fixed packages;
wenzelm
parents: 3278
diff changeset
     5
\usepackage{a4,graphicx}
3170
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] 
3278
636322bfd057 release version (sort of);
wenzelm
parents: 3262
diff changeset
    17
        With Contributions by Tobias Nipkow and Markus Wenzel}
636322bfd057 release version (sort of);
wenzelm
parents: 3262
diff changeset
    18
%FIXME not yet
636322bfd057 release version (sort of);
wenzelm
parents: 3262
diff changeset
    19
%        \thanks{Section~\protect\ref{sec:html} was written by Carsten
636322bfd057 release version (sort of);
wenzelm
parents: 3262
diff changeset
    20
%          Clasohm.  Chapter~\protect\ref{sec:browse} was written by Stefan
636322bfd057 release version (sort of);
wenzelm
parents: 3262
diff changeset
    21
%          Berghofer. Other parts are by Markus Wenzel.}
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    22
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    23
\makeindex
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    24
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    25
\setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    26
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    27
\pagestyle{headings}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    28
\sloppy
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    29
\binperiod     %%%treat . like a binary operator
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    30
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    31
\begin{document}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    32
\underscoreoff
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    33
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    34
\maketitle 
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    35
\pagenumbering{roman} \tableofcontents \clearfirst
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    36
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    37
%\include{introduction}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    38
3188
445555a7b714 preliminary!
wenzelm
parents: 3172
diff changeset
    39
\include{basics}
445555a7b714 preliminary!
wenzelm
parents: 3172
diff changeset
    40
\include{misc}
445555a7b714 preliminary!
wenzelm
parents: 3172
diff changeset
    41
\include{fonts}
445555a7b714 preliminary!
wenzelm
parents: 3172
diff changeset
    42
\include{present}
3217
d30d62128fe5 still under construction!
wenzelm
parents: 3188
diff changeset
    43
%\include{browse}
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    44
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    45
%\begingroup
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    46
%  \bibliographystyle{plain} \small\raggedright\frenchspacing
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    47
%  \bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    48
%\endgroup
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    49
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    50
\input{system.ind}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    51
\end{document}