--- a/doc-src/HOL/logics-HOL.tex Mon May 10 16:48:00 1999 +0200
+++ b/doc-src/HOL/logics-HOL.tex Mon May 10 17:02:05 1999 +0200
@@ -19,9 +19,9 @@
\author{Tobias Nipkow\footnote
{Institut f\"ur Informatik, Technische Universit\"at M\"unchen,
- \texttt{nipkow@in.tum.de}},
+ \texttt{nipkow@in.tum.de}} and
Lawrence C. Paulson\footnote
-{Computer Laboratory, University of Cambridge, \texttt{lcp@cl.cam.ac.uk}},
+{Computer Laboratory, University of Cambridge, \texttt{lcp@cl.cam.ac.uk}} and
Markus Wenzel\footnote
{Institut f\"ur Informatik, Technische Universit\"at M\"unchen,
\texttt{wenzelm@in.tum.de}}}