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