doc-src/System/system.tex
author nipkow
Tue, 22 Mar 2011 12:49:07 +0100
changeset 42059 83f3dc509068
parent 32088 2110fcd86efb
child 42511 bf89455ccf9d
permissions -rw-r--r--
fixed a printing problem for bounded quantifiers and bounded set operators in the case of tuples
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7838
5aca258fedcf a4paper;
wenzelm
parents: 7258
diff changeset
     1
\documentclass[12pt,a4paper]{report}
10580
930ac2bfa637 include table of Isabelle standard symbols;
wenzelm
parents: 9695
diff changeset
     2
\usepackage{supertabular}
28216
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents: 27639
diff changeset
     3
\usepackage{graphicx}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents: 27639
diff changeset
     4
\usepackage{../iman,../extra,../isar,../ttbox}
28219
5465883d64da load underscore package after iman etc.;
wenzelm
parents: 28216
diff changeset
     5
\usepackage[nohyphen,strings]{../underscore}
28216
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents: 27639
diff changeset
     6
\usepackage{../isabelle,../isabellesym}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents: 27639
diff changeset
     7
\usepackage{../IsarRef/style}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents: 27639
diff changeset
     8
\usepackage{../pdfsetup}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents: 27639
diff changeset
     9
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents: 27639
diff changeset
    10
\hyphenation{Isabelle}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents: 27639
diff changeset
    11
\hyphenation{Isar}
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents: 27639
diff changeset
    12
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents: 27639
diff changeset
    13
\isadroptag{theory}
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    14
10580
930ac2bfa637 include table of Isabelle standard symbols;
wenzelm
parents: 9695
diff changeset
    15
\isabellestyle{it}
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    16
6623
021728c71030 pdf setup;
wenzelm
parents: 5170
diff changeset
    17
\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    18
28216
5423ad29648e basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents: 27639
diff changeset
    19
\author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\
28916
0a802cdda340 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
wenzelm
parents: 28838
diff changeset
    20
  TU M\"unchen}
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
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    25
\begin{document}
4540
24fcf5ecae88 updated to Isabelle98;
wenzelm
parents: 3754
diff changeset
    26
3170
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
28838
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28226
diff changeset
    30
\input{Thy/document/Basics.tex}
28916
0a802cdda340 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
wenzelm
parents: 28838
diff changeset
    31
\input{Thy/document/Interfaces.tex}
28838
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28226
diff changeset
    32
\input{Thy/document/Presentation.tex}
d5db6dfcb34a moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents: 28226
diff changeset
    33
\input{Thy/document/Misc.tex}
10580
930ac2bfa637 include table of Isabelle standard symbols;
wenzelm
parents: 9695
diff changeset
    34
7207
wenzelm
parents: 6623
diff changeset
    35
\begingroup
30116
1fb1833cb199 \bibliographystyle{abbrv} for newer ref manuals;
wenzelm
parents: 28916
diff changeset
    36
  \bibliographystyle{abbrv} \small\raggedright\frenchspacing
7207
wenzelm
parents: 6623
diff changeset
    37
  \bibliography{../manual}
wenzelm
parents: 6623
diff changeset
    38
\endgroup
wenzelm
parents: 6623
diff changeset
    39
8828
5be2d1745c61 improved indexing;
wenzelm
parents: 7882
diff changeset
    40
\printindex
3170
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    41
0b3ff84bab29 The Isabelle System Manual;
wenzelm
parents:
diff changeset
    42
\end{document}