\begin{thebibliography}{1}

\bibitem{WW:res_quan-manual}
W.~Wong.
\newblock {\em The {HOL} {\tt res\_quan} Library}.
\newblock Computer Laboratory, University of Cambridge, 1993.

\end{thebibliography}
