Modified credits.

--- a/doc-src/Logics/logics.tex	Mon Apr 21 12:16:29 1997 +0200
+++ b/doc-src/Logics/logics.tex	Mon Apr 21 13:49:40 1997 +0200
@@ -16,14 +16,15 @@
 %% run    ../sedindex logics    to prepare index file
 \title{Isabelle's Object-Logics}
 
-\author{{\em Lawrence C. Paulson}\thanks{Tobias Nipkow and Markus Wenzel
-    suggested changes and corrections.  Philippe de Groote wrote the
+\author{{\em Lawrence C. Paulson}\thanks{Tobias Nipkow revised and extended
+    the chapter on \HOL. Markus Wenzel suggested changes and corrections.
+    Philippe de Groote wrote the
     first version of the logic~\LK{} and contributed to~\ZF{}.  Tobias
     Nipkow developed~\HOL{}, \LCF{} and~\Cube{}.  Philippe No\"el and
     Martin Coen made many contributions to~\ZF{}.  Martin Coen
     developed~\Modal{} with assistance from Rajeev Gor\'e.  The research
     has been funded by the SERC (grants GR/G53279, GR/H40570) and by ESPRIT
-    project 6453: Types.}\\ 
+    project 6453: Types.}\\
   Computer Laboratory \\ 
   University of Cambridge \\[2ex] 
   {\small{\em Electronic mail\/}: {\tt [e-mail]}} \\[3cm]