1% ===================================================================== % 2% Standard titlepage for pred_sets 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 pred{\und}sets Library} 17\end{center} 18 19% --------------------------------------------------------------------- % 20% Name of the author % 21% --------------------------------------------------------------------- % 22 23\vskip15mm 24\begin{center} 25\large\bf T.\ F.\ Melham 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 February 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\copyright\ T.\ F.\ Melham 1992 63\end{center} 64\newpage 65