doc-src/System/system.tex
author oheimb
Wed, 12 Nov 1997 18:58:50 +0100
changeset 4223 f60e3d2c81d3
parent 3754 78ee75eb5d79
child 4540 24fcf5ecae88
permissions -rw-r--r--
added thin_refl to hyp_subst_tac
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}
3754
78ee75eb5d79 Removed "browse.tex".
berghofe
parents: 3696
diff changeset
     5
\usepackage{a4,epsf}
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] 
3696
wenzelm
parents: 3285
diff changeset
    17
        With Contributions by Tobias Nipkow and Markus Wenzel
3754
78ee75eb5d79 Removed "browse.tex".
berghofe
parents: 3696
diff changeset
    18
        \thanks{Section~\protect\ref{sec:info} was written by Carsten
78ee75eb5d79 Removed "browse.tex".
berghofe
parents: 3696
diff changeset
    19
          Clasohm.  Section~\protect\ref{sec:browse} was written by Stefan
3696
wenzelm
parents: 3285
diff changeset
    20
          Berghofer. 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
3188
445555a7b714 preliminary!
wenzelm
parents: 3172
diff changeset
    38
\include{basics}
445555a7b714 preliminary!
wenzelm
parents: 3172
diff changeset
    39
\include{misc}
445555a7b714 preliminary!
wenzelm
parents: 3172
diff changeset
    40
\include{fonts}
445555a7b714 preliminary!
wenzelm
parents: 3172
diff changeset
    41
\include{present}
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    42
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    43
%\begingroup
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    44
%  \bibliographystyle{plain} \small\raggedright\frenchspacing
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    45
%  \bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    46
%\endgroup
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    47
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    48
\input{system.ind}
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    49
\end{document}