1% ===================================================================== % 2% Standard titlepage for reduce library % 3% ===================================================================== % 4 5\begin{titlepage} 6 7\setcounter{page}{1} % titlepage IS page 1 ! 8 9% --------------------------------------------------------------------- % 10% Name of the library. % 11% --------------------------------------------------------------------- % 12 13\mbox{} 14\vskip20mm 15\begin{center} 16{\Huge\bf The HOL pair Library} 17\end{center} 18 19% --------------------------------------------------------------------- % 20% Name of the author % 21% --------------------------------------------------------------------- % 22 23\vskip15mm 24\begin{center} 25\large\bf Jim Grundy 26\end{center} 27 28% --------------------------------------------------------------------- % 29% Address of the author % 30% --------------------------------------------------------------------- % 31 32\vfill 33\begin{center} 34\bf 35University of Cambridge, Computer Laboratory\\ 36New Museums Site, Pembroke Street\\ 37Cambridge, {\small\bf CB}2 3{\small\bf QG}, England. 38\end{center} 39 40% --------------------------------------------------------------------- % 41% Date. % 42% --------------------------------------------------------------------- % 43 44\vskip5mm 45\begin{center} 46\bf November 1992 47\end{center} 48 49\end{titlepage} 50 51% --------------------------------------------------------------------- % 52% To kick a blank page with no header (back of title page is blank). % 53% --------------------------------------------------------------------- % 54\thispagestyle{empty} 55\mbox{} 56 57% --------------------------------------------------------------------- % 58% Copyright notice (if desired). % 59% --------------------------------------------------------------------- % 60\vfill 61\begin{center} 62 \begin{tabular}{l} 63 Copyright \copyright\ Jim Grundy 1992 \\ 64 All rights reserved 65 \end{tabular} 66\end{center} 67\newpage 68