1 \newif\ifwrslides \wrslidestrue
2 \InputIfFileExists{wr.cfg}\relax\relax
5 \PassOptionsToClass{a4, slidesonly}{mdwslides}
7 \PassOptionsToClass{a4, article, twoside}{mdwslides}
12 \if0\ifx\pdfoutput\@@undefined0\else\the\expandafter\pdfoutput\fi
13 \PassOptionsToPackage{dvips}{xy}
18 \setslidelength{\pdfpagewidth}{\paperheight}
19 \setslidelength{\pdfpageheight}{\paperwidth}
27 \RequirePackage{mdwlist}
28 \RequirePackage[T1]{fontenc}
29 \RequirePackage{colour}
30 \RequirePackage{mdwmath}
31 \RequirePackage{crypto}
32 \RequirePackage[all]{xy}
33 \RequirePackage{tabularx}
34 \RequirePackage{mathenv}
35 \RequirePackage{graphicx}
36 \RequirePackage[palatino, helvetica, courier, maths = cmr]{mdwfonts}
37 \RequirePackage{mdwthm}
38 \RequirePackage{multicol}
40 \def\Nupto#1{\{0, 1, \ldots, #1 - 1\}}
45 \let\epsilon\varepsilon
47 \def\poly{\mathop{\operator@font{poly}}}
51 \let\makelabel\textit%
52 \desclabelstyle\multilinelabel%
57 \let\protocolstyle\small
63 \begin{tabular*}{\linewidth}{@{\qquad}l@{\extracolsep{0ptplus1fil}}r@{\qquad}}}
64 \def\endprotocol{\end{tabular*}}
67 \def\send#1#2{\noalign{%
68 \centerline{\xy\ar @{#1}|*+{\mathstrut#2}<.5\linewidth, 0pt>\endxy}}}
70 \errorcontextlines=999
72 \newcommand{\E}{{\mathcal{E}}}
74 \def\Wident{\Xid{W}{ident}}
77 \def\other{\colour{blue}}
78 \def\diff{\colour{red}}
80 \title{The Wrestlers Protocol}