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