1 \PassOptionsToClass{a4, article}{mdwslides}
5 \if0\ifx\pdfoutput\@@undefined0\else\the\expandafter\pdfoutput\fi
6 \PassOptionsToPackage{dvips}{xy}
11 \setslidelength{\pdfpagewidth}{\paperheight}
12 \setslidelength{\pdfpageheight}{\paperwidth}
21 \RequirePackage{mdwlist}
22 \RequirePackage[T1]{fontenc}
23 \RequirePackage{colour}
24 \RequirePackage{mdwmath}
25 \RequirePackage{crypto}
26 \RequirePackage[all]{xy}
27 \RequirePackage{tabularx}
28 \RequirePackage{mathenv}
29 \RequirePackage{graphicx}
30 \RequirePackage[palatino, helvetica, courier, maths = cmr]{mdwfonts}
31 \RequirePackage{mdwthm}
33 \def\Nupto#1{\{0, 1, \ldots, #1 - 1\}}
38 \let\epsilon\varepsilon
40 \def\poly{\mathop{\operator@font{poly}}}
44 \let\makelabel\textit%
45 \desclabelstyle\multilinelabel%
50 \let\protocolstyle\small
56 \begin{tabular*}{\linewidth}{@{\qquad}l@{\extracolsep{0ptplus1fil}}r@{\qquad}}}
57 \def\endprotocol{\end{tabular*}}
60 \def\send#1#2{\noalign{%
61 \centerline{\xy\ar @{#1}|*+{\mathstrut#2}<.5\linewidth, 0pt>\endxy}}}
63 \errorcontextlines=999
65 \newcommand{\E}{{\mathcal{E}}}
67 \def\Wident{\Xid{W}{ident}}
70 \def\other{\colour{blue}}
71 \def\diff{\colour{red}}
73 \title{The Wrestlers Protocol}