--- a/doc-src/ZF/logics-ZF.tex Fri May 26 11:17:53 2000 +0200
+++ b/doc-src/ZF/logics-ZF.tex Fri May 26 11:18:06 2000 +0200
@@ -18,7 +18,9 @@
Philippe de Groote contributed to~\ZF{}. Philippe No\"el and
Martin Coen made many contributions to~\ZF{}. The research has
been funded by the EPSRC (grants GR/G53279, GR/H40570, GR/K57381,
- GR/K77051) and by ESPRIT project 6453: Types.}
+ GR/K77051, GR/M75440) and by ESPRIT (projects 3245:
+ Logical Frameworks, and 6453: Types) and by the DFG Schwerpunktprogramm
+ \emph{Deduktion}.}
}
\newcommand\subcaption[1]{\par {\centering\normalsize\sc#1\par}\bigskip