|
1 |
|
2 %% $Id$ |
|
3 |
|
4 \documentclass[12pt]{report} |
|
5 \usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../pdfsetup} |
|
6 |
|
7 \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual} |
|
8 |
|
9 \author{\emph{Markus Wenzel} \\ TU M\"unchen} |
|
10 |
|
11 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
|
12 |
|
13 \pagestyle{headings} |
|
14 \sloppy |
|
15 \binperiod %%%treat . like a binary operator |
|
16 |
|
17 \railalias{lbrace}{\ttlbrace} |
|
18 \railalias{rbrace}{\ttrbrace} |
|
19 \railterm{lbrace,rbrace} |
|
20 |
|
21 \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim} |
|
22 |
|
23 |
|
24 \begin{document} |
|
25 |
|
26 \underscoreoff |
|
27 |
|
28 \maketitle |
|
29 |
|
30 \begin{abstract} |
|
31 FIXME |
|
32 \end{abstract} |
|
33 |
|
34 \pagenumbering{roman} \tableofcontents \clearfirst |
|
35 |
|
36 %FIXME |
|
37 \nocite{Rudnicki:1992:MizarOverview} |
|
38 \nocite{Harrison:1996:MizarHOL} |
|
39 \nocite{Rudnicki:1992:MizarOverview} |
|
40 \nocite{Trybulec:1993:MizarFeatures} |
|
41 \nocite{Syme:1997:DECLARE} |
|
42 \nocite{Syme:1998:thesis} |
|
43 \nocite{Syme:1999:TPHOL} |
|
44 \nocite{Wenzel:1999:TPHOL} |
|
45 |
|
46 \include{intro} |
|
47 \include{basics} |
|
48 \include{syntax} |
|
49 \include{pure} |
|
50 \include{simplifier} |
|
51 \include{classical} |
|
52 \include{hol} |
|
53 |
|
54 \begingroup |
|
55 \bibliographystyle{plain} \small\raggedright\frenchspacing |
|
56 \bibliography{../manual} |
|
57 \endgroup |
|
58 |
|
59 \input{isar-ref.ind} |
|
60 |
|
61 \end{document} |