\PassOptionsToClass{a4, article}{mdwslides}
\LoadClass{mdwslides}

\newif\ifpdf
\if0\ifx\pdfoutput\@@undefined0\else\the\expandafter\pdfoutput\fi
  \PassOptionsToPackage{dvips}{xy}
  \pdffalse
\else
  \AtBeginDocument{
    \ifarticle\else
    \setslidelength{\pdfpagewidth}{\paperheight}
    \setslidelength{\pdfpageheight}{\paperwidth}
    \pdfhorigin=1 true in
    \pdfvorigin=1 true in
    \fi
  }
  \pdftrue
\fi


\RequirePackage{mdwlist}
\RequirePackage[T1]{fontenc}
\RequirePackage{colour}
\RequirePackage{mdwmath}
\RequirePackage{crypto}
\RequirePackage[all]{xy}
\RequirePackage{tabularx}
\RequirePackage{mathenv}
\RequirePackage{graphicx}
\RequirePackage[palatino, helvetica, courier, maths = cmr]{mdwfonts}
\RequirePackage{mdwthm}

\def\Nupto#1{\{0, 1, \ldots, #1 - 1\}}
\def\Bin{\{0, 1\}}
\let\op\star
\let\le\leqslant
\let\ge\geqslant
\let\epsilon\varepsilon

\def\poly{\mathop{\operator@font{poly}}}

\def\description{%
  \basedescript{%
    \let\makelabel\textit%
    \desclabelstyle\multilinelabel%
    \desclabelwidth{1in}%
  }%
}

\let\protocolstyle\small
\newskip\protocolskip
\protocolskip\parskip
\def\protocol{%
  \protocolstyle%
  \vskip\protocolskip%
  \begin{tabular*}{\linewidth}{@{\qquad}l@{\extracolsep{0ptplus1fil}}r@{\qquad}}}
\def\endprotocol{\end{tabular*}}

\makeatother
\def\send#1#2{\noalign{%
    \centerline{\xy\ar @{#1}|*+{\mathstrut#2}<.5\linewidth, 0pt>\endxy}}}
\makeatletter
\errorcontextlines=999

\newcommand{\E}{{\mathcal{E}}}

\def\Wident{\Xid{W}{ident}}
\def\Wkw{\Xid{W}{kx}}

\def\other{\colour{blue}}
\def\diff{\colour{red}}

\title{The Wrestlers Protocol}

\endinput
