# HG changeset patch
# User nipkow
# Date 861623380 -7200
# Node ID 645ec3d19ac1b369e463f6a03642157cee0113ba
# Parent  8036aaf49f7072d6320f7272f9295fb7eee5c98c
Modified credits.

diff -r 8036aaf49f70 -r 645ec3d19ac1 doc-src/Logics/logics.tex
--- 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 lcp@cl.cam.ac.uk}} \\[3cm]