# HG changeset patch
# User paulson
# Date 838044945 -7200
# Node ID 3063f6b7a189c455dba483cbe0a1a6da07859e31
# Parent  b163e192a2bf30aca5edfefa12fb3df568c4f21f
Acknowledged Martin Simons

diff -r b163e192a2bf -r 3063f6b7a189 doc-src/Ref/ref.tex
--- a/doc-src/Ref/ref.tex	Mon Jul 22 16:15:00 1996 +0200
+++ b/doc-src/Ref/ref.tex	Mon Jul 22 16:15:45 1996 +0200
@@ -12,7 +12,8 @@
   Chapters~\protect\ref{Defining-Logics} and~\protect\ref{simp-chap}, and part of
   Chapter~\protect\ref{theories}.  Carsten Clasohm also contributed to
   Chapter~\protect\ref{theories}.  Markus Wenzel contributed to
-  Chapter~\protect\ref{chap:syntax}.  Sara Kalvala and others suggested changes
+  Chapter~\protect\ref{chap:syntax}.  Sara Kalvala, Martin Simons and others
+  suggested changes
   and corrections.  The research has been funded by the SERC (grants
   GR/G53279, GR/H40570) and by ESPRIT project 6453: Types.}
 \\