% set up page dimensions for this one-off title page:
\topmargin -0.5cm
\oddsidemargin=-0.6in
\textwidth=19.5cm
\textheight=8.5in

% re-define the page footer to include the sponsor's logos
\renewcommand{\@oddfoot}{
\hspace*{5mm}
\psfig{figure=dsto.ps,width=3.4cm}
\hfil
\vbox{\hbox{\scriptsize Cambridge}\vskip2mm
      \hbox{\hskip1mm\psfig{figure=arms.ps,height=14mm}}\vskip-7.5mm
      \hbox{\scriptsize University}}
\hfil
\psfig{figure=CRC.ps,width=3.4cm,height=20mm}
\hspace*{5mm}
}

\newcommand{\revisions}
{\vspace*{3cm}\begin{center}
First Printed: November 1989 (for HOL88 Version 1.11) \\
Revised Edition: July 1991 (for HOL88 Version 2) \\
Revised Edition: March 1994 (for HOL88 Version 2.02)
\end{center}}
