doc-src/Classes/classes.tex
author bulwahn
Fri Mar 18 18:19:42 2011 +0100 (2011-03-18)
changeset 42020 2da02764d523
parent 31691 7d50527dc008
child 42511 bf89455ccf9d
permissions -rw-r--r--
translating bash output in quickcheck_narrowing to handle special characters; adding simple test cases
     1 
     2 \documentclass[12pt,a4paper,fleqn]{article}
     3 \usepackage{latexsym,graphicx}
     4 \usepackage[refpage]{nomencl}
     5 \usepackage{../iman,../extra,../isar,../proof}
     6 \usepackage{../isabelle,../isabellesym}
     7 \usepackage{style}
     8 \usepackage{../pdfsetup}
     9 
    10 
    11 \hyphenation{Isabelle}
    12 \hyphenation{Isar}
    13 \isadroptag{theory}
    14 
    15 \title{\includegraphics[scale=0.5]{isabelle_isar}
    16   \\[4ex] Haskell-style type classes with Isabelle/Isar}
    17 \author{\emph{Florian Haftmann}}
    18 
    19 \begin{document}
    20 
    21 \maketitle
    22 
    23 \begin{abstract}
    24   \noindent This tutorial introduces Isar type classes, which 
    25   are a convenient mechanism for organizing specifications.
    26   Essentially, they combine an operational aspect (in the
    27   manner of Haskell) with a logical aspect, both managed uniformly.
    28 \end{abstract}
    29 
    30 \thispagestyle{empty}\clearpage
    31 
    32 \pagenumbering{roman}
    33 \clearfirst
    34 
    35 \input{Thy/document/Classes.tex}
    36 
    37 \begingroup
    38 \bibliographystyle{plain} \small\raggedright\frenchspacing
    39 \bibliography{../manual}
    40 \endgroup
    41 
    42 \end{document}
    43 
    44 
    45 %%% Local Variables: 
    46 %%% mode: latex
    47 %%% TeX-master: t
    48 %%% End: