changeset 7974 | 34245feb6e82 |
parent 7895 | 7c492d8bc8e3 |
child 7981 | 5120a2a15d06 |
7973:0d801c6e4dc0 | 7974:34245feb6e82 |
---|---|
1 |
1 |
2 %% $Id$ |
2 %% $Id$ |
3 |
3 |
4 \documentclass[12pt,a4paper,fleqn]{report} |
4 \documentclass[12pt,a4paper,fleqn]{report} |
5 \usepackage{graphicx,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup} |
5 \usepackage{latexsym,graphicx,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup} |
6 |
6 |
7 \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual} |
7 \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual} |
8 \author{\emph{Markus Wenzel} \\ TU M\"unchen} |
8 \author{\emph{Markus Wenzel} \\ TU M\"unchen} |
9 |
9 |
10 \makeindex |
10 \makeindex |
20 \railalias{prop}{\railqtoken{prop}} |
20 \railalias{prop}{\railqtoken{prop}} |
21 \railalias{atom}{\railqtoken{atom}} |
21 \railalias{atom}{\railqtoken{atom}} |
22 |
22 |
23 \newcommand{\drv}{\mathrel{\vdash}} |
23 \newcommand{\drv}{\mathrel{\vdash}} |
24 \newcommand{\edrv}{\mathop{\drv}\nolimits} |
24 \newcommand{\edrv}{\mathop{\drv}\nolimits} |
25 \newcommand{\Or}{\mathrel{\;|\;}} |
|
25 |
26 |
26 |
27 |
27 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
28 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
28 |
29 |
29 \pagestyle{headings} |
30 \pagestyle{headings} |
30 \sloppy |
31 \sloppy |
31 \binperiod %%%treat . like a binary operator |
32 \binperiod %%%treat . like a binary operator |
32 |
33 |
33 \renewcommand{\phi}{\varphi} |
34 \renewcommand{\phi}{\varphi} |
34 |
35 |
35 %\includeonly{pure} |
36 %\includeonly{refcard} |
36 |
37 |
37 |
38 |
38 |
39 |
39 \begin{document} |
40 \begin{document} |
40 |
41 |