\vfill
\chapter*{Authors}

This library is the combination of the list theories of the following people:

\begin{quote}
Mike Benjamin (British Aerospace Sowerby Research Centre, Bristol, U.K.), \\
R. J. Boulton (University of Cambridge, Computer Laboratory, U.K.), \\	
Albert J. Camilleri (Hewlett-Packard Laboratories, Bristol, U.K.), \\
Rachel Cardell-Oliver (University of Cambridge, Computer Laboratory, U.K.), \\
Paul Curzon (University of Cambridge, Computer Laboratory, U.K.), \\
Andy Gordon (University of Cambridge, Computer Laboratory, U.K.), \\
Brian Graham (University of Cambridge, Computer Laboratory, U.K.), \\
John Harrison (University of Cambridge, Computer Laboratory, U.K.), \\
Paul Loewenstein (Mitsubishi Electronics America Inc., USA), \\
Wim Ploegaerts   (Imec vzw. Leuven, Belgium), \\
Wai Wong (University of Cambridge, Computer Laboratory, U.K.). \\
\end{quote}

\noindent Wim Ploegaerts compiled the theorems which came from other libraries
in the \HOL\ system and made many useful suggestions about the organization of
the library.

\newpage
