1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
\vfill
\chapter*{Authors}
This library is the combination of the arithmetic 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.), \\
Elsa L. Gunter (AT\&T Bell Labs, USA) , \\
Jeff Joyce (University of British Columbia, Canada), \\
Philippe Leveilley (Ecole Polytechnique, Paris, France), \\
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
|
