1.1 --- a/doc-src/Logics/logics.tex	Fri May 26 11:17:53 2000 +0200
     1.2 +++ b/doc-src/Logics/logics.tex	Fri May 26 11:18:06 2000 +0200
     1.3 @@ -19,8 +19,9 @@
     1.4     wrote the first version of the logic~\LK{}.  Tobias Nipkow developed
     1.5     \LCF{} and~\Cube{}.  Martin Coen developed~\Modal{} with assistance
     1.6     from Rajeev Gor\'e.  The research has been funded by the EPSRC
     1.7 -   (grants GR/G53279, GR/H40570, GR/K57381, GR/K77051) and by ESPRIT
     1.8 -   project 6453: Types.} }
     1.9 +   (grants GR/G53279, GR/H40570, GR/K57381, GR/K77051, GR/M75440) and by ESPRIT
    1.10 +   (projects 3245: Logical Frameworks, and 6453: Types), and by the DFG
    1.11 +  Schwerpunktprogramm \emph{Deduktion}.} }
    1.12  
    1.13  \newcommand\subcaption[1]{\par {\centering\normalsize\sc#1\par}\bigskip
    1.14    \hrule\bigskip}