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