1% ===================================================================== % 2% Standard titlepage for arith 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 arith Library} 17\end{center} 18 19% --------------------------------------------------------------------- % 20% Name of the author % 21% --------------------------------------------------------------------- % 22 23\vskip15mm 24\begin{center} 25\large\bf R.\ J.\ Boulton 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 July 1992 47\end{center} 48\begin{center} 49\bf (Revised November 1995) 50\end{center} 51 52\end{titlepage} 53 54% --------------------------------------------------------------------- % 55% To kick a blank page with no header (back of title page is blank). % 56% --------------------------------------------------------------------- % 57\thispagestyle{empty} 58\mbox{} 59 60% --------------------------------------------------------------------- % 61% Copyright notice (if desired). % 62% --------------------------------------------------------------------- % 63\vfill 64\begin{center} 65\copyright\ R.\ J.\ Boulton 1992, 1995 66\end{center} 67\newpage 68