1 |
|
2 %% $Id$ |
|
3 |
1 |
4 \documentclass[12pt,a4paper,fleqn]{report} |
2 \documentclass[12pt,a4paper,fleqn]{report} |
5 \usepackage{latexsym,graphicx} |
3 \usepackage{latexsym,graphicx} |
6 \usepackage[refpage]{nomencl} |
4 \usepackage[refpage]{nomencl} |
7 \usepackage{../../iman,../../extra,../../isar,../../proof} |
5 \usepackage{../../iman,../../extra,../../isar,../../proof} |
8 \usepackage{../../isabelle,../../isabellesym} |
6 \usepackage{../../isabelle,../../isabellesym} |
9 \usepackage{style} |
7 \usepackage{style} |
10 \usepackage{../../pdfsetup} |
8 \usepackage{../../pdfsetup} |
11 |
9 |
12 |
10 |
13 %% setup |
|
14 |
|
15 % hyphenation |
|
16 \hyphenation{Isabelle} |
11 \hyphenation{Isabelle} |
17 \hyphenation{Isar} |
12 \hyphenation{Isar} |
18 |
|
19 % logical markup |
|
20 \newcommand{\strong}[1]{{\bfseries {#1}}} |
|
21 \newcommand{\qn}[1]{\emph{#1}} |
|
22 |
|
23 % typographic conventions |
|
24 \newcommand{\qt}[1]{``{#1}''} |
|
25 |
|
26 % verbatim text |
|
27 \newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}} |
|
28 |
|
29 % invisibility |
|
30 \isadroptag{theory} |
13 \isadroptag{theory} |
31 |
|
32 % quoted segments |
|
33 \makeatletter |
|
34 \isakeeptag{quote} |
|
35 \newenvironment{quotesegment}{\begin{quote}\isa@parindent\parindent\parindent0pt\isa@parskip\parskip\parskip0pt}{\end{quote}} |
|
36 \renewcommand{\isatagquote}{\begin{quotesegment}} |
|
37 \renewcommand{\endisatagquote}{\end{quotesegment}} |
|
38 \makeatother |
|
39 |
|
40 %\renewcommand{\isasymlongleftrightarrow}{\isamath{\leftrightarrow}} |
|
41 %\renewcommand{\isasymdiv}{\isamath{{}^{-1}}} |
|
42 %\renewcommand{\isasymotimes}{\isamath{\circ}} |
|
43 |
|
44 |
|
45 %% content |
|
46 |
14 |
47 \title{\includegraphics[scale=0.5]{isabelle_isar} |
15 \title{\includegraphics[scale=0.5]{isabelle_isar} |
48 \\[4ex] Haskell-style type classes with Isabelle/Isar} |
16 \\[4ex] Haskell-style type classes with Isabelle/Isar} |
49 \author{\emph{Florian Haftmann}} |
17 \author{\emph{Florian Haftmann}} |
50 |
18 |