--- 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.}
\\