equal
deleted
inserted
replaced
1 \documentclass[11pt,a4paper]{article} |
|
2 \usepackage{graphicx,isabelle,isabellesym,amssymb} |
|
3 \usepackage{pdfsetup} |
|
4 |
|
5 \urlstyle{rm} |
|
6 \isabellestyle{it} |
|
7 \pagestyle{myheadings} |
|
8 |
|
9 \begin{document} |
|
10 |
|
11 \title{Machine Words in Isabelle/HOL} |
|
12 |
|
13 \author{Jeremy Dawson, Paul Graunke, Brian Huffman, Gerwin Klein, and John Matthews} |
|
14 |
|
15 \maketitle |
|
16 |
|
17 \begin{abstract} |
|
18 A formalisation of generic, fixed size machine words in Isabelle/HOL. An earlier version of this |
|
19 formalisation is described in \cite{dawson-avocs07}. |
|
20 \end{abstract} |
|
21 |
|
22 \tableofcontents |
|
23 |
|
24 \begin{center} |
|
25 \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph} |
|
26 \end{center} |
|
27 |
|
28 \newpage |
|
29 |
|
30 \renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}} |
|
31 |
|
32 \parindent 0pt\parskip 0.5ex |
|
33 \input{session} |
|
34 |
|
35 \bibliographystyle{plain} |
|
36 \bibliography{root} |
|
37 |
|
38 \end{document} |
|