--- a/doc-src/Ref/ref.tex Fri May 26 11:17:53 2000 +0200
+++ b/doc-src/Ref/ref.tex Fri May 26 11:18:06 2000 +0200
@@ -18,11 +18,12 @@
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, Martin Simons and others
- suggested changes
+ Chapter~\protect\ref{chap:syntax}. Jeremy Dawson, Sara Kalvala, Martin
+ Simons and others suggested changes
and corrections. The research has been funded by the EPSRC (grants
- GR/G53279, GR/H40570, GR/K57381, GR/K77051) and by ESPRIT project 6453:
- Types.}}
+ GR/G53279, GR/H40570, GR/K57381, GR/K77051, GR/M75440) and by ESPRIT
+ (projects 3245: Logical Frameworks, and 6453: Types), and by the DFG
+ Schwerpunktprogramm \emph{Deduktion}.}}
\makeindex