doc-src/HOL/logics-HOL.tex
changeset 6626 a92d2b6e0626
parent 6620 fc991461c7b9
child 7457 e67eed4cd224
--- 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}}}