% ===================================================================== %
% Standard titlepage for reduce library                                 %
% ===================================================================== %

\begin{titlepage}

\setcounter{page}{1}                      % titlepage IS page 1 !

% --------------------------------------------------------------------- %
% Name of the library.                                                  %
% --------------------------------------------------------------------- %

\mbox{}
\vskip20mm
\begin{center}
{\Huge\bf The HOL reduce Library}
\end{center}

% --------------------------------------------------------------------- %
% Name of the author                                                    %
% --------------------------------------------------------------------- %

\vskip15mm
\begin{center}
\large\bf J.\ R. \ Harrison
\end{center}

% --------------------------------------------------------------------- %
% Address of the author                                                 %
% --------------------------------------------------------------------- %

\vfill
\begin{center}
\bf
University of Cambridge, Computer Laboratory\\
New Museums Site, Pembroke Street\\
Cambridge, {\small\bf CB}2 3{\small\bf QG}, England.
\end{center}

% --------------------------------------------------------------------- %
% Date.                                                                 %
% --------------------------------------------------------------------- %

\vskip5mm
\begin{center}
\bf June 1991
\end{center}

\end{titlepage}

% --------------------------------------------------------------------- %
% To kick a blank page with no header (back of title page is blank).    %
% --------------------------------------------------------------------- %
\thispagestyle{empty}
\mbox{}

% --------------------------------------------------------------------- %
% Copyright notice (if desired).                                        %
% --------------------------------------------------------------------- %
\vfill
\begin{center}
\copyright\ J.\ R.\ Harrison 1991
\end{center}
\newpage
