src/HOL/SET_Protocol/document/root.tex
author wenzelm
Sat Jul 18 22:58:50 2015 +0200 (2015-07-18)
changeset 60758 d8d85a8172b5
parent 33028 9aa8bfb1649d
permissions -rw-r--r--
isabelle update_cartouches;
paulson@14199
     1
\documentclass[10pt,a4paper,twoside]{article}
paulson@14199
     2
\usepackage{graphicx}
paulson@14199
     3
\usepackage{latexsym,theorem}
paulson@14199
     4
\usepackage{isabelle,isabellesym}
paulson@14199
     5
\usepackage{pdfsetup}\urlstyle{rm}
paulson@14199
     6
paulson@14199
     7
\begin{document}
paulson@14199
     8
paulson@14199
     9
\pagestyle{headings}
paulson@14199
    10
\pagenumbering{arabic}
paulson@14199
    11
paulson@14199
    12
\title{Verification of The SET Protocol}
paulson@14199
    13
\author{Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson et al.}
paulson@14199
    14
\maketitle
paulson@14199
    15
paulson@14199
    16
\tableofcontents
paulson@14199
    17
paulson@14199
    18
\begin{center}
paulson@14199
    19
  \includegraphics[scale=0.5]{session_graph}  
paulson@14199
    20
\end{center}
paulson@14199
    21
paulson@14199
    22
\newpage
paulson@14199
    23
paulson@14199
    24
\parindent 0pt\parskip 0.5ex
paulson@14199
    25
paulson@14199
    26
\input{session}
paulson@14199
    27
\end{document}