--- a/doc-src/ZF/logics-ZF.tex Tue May 04 17:59:31 1999 +0200
+++ b/doc-src/ZF/logics-ZF.tex Tue May 04 17:59:55 1999 +0200
@@ -14,7 +14,7 @@
%%% to index constants: \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\) \\cdx{\1}
%%% to deverbify: \\verb|\([^|]*\)| \\ttindex{\1}
-\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex]
+\title{\includegraphics[scale=0.5]{isabelle_zf} \\[4ex]
Isabelle's Logics: FOL and ZF}
\author{{\em Lawrence C. Paulson}\\
@@ -22,7 +22,7 @@
\texttt{lcp@cl.cam.ac.uk}\\[3ex]
With Contributions by Tobias Nipkow and Markus Wenzel%
\thanks{Markus Wenzel made numerous improvements.
- Philippe de Groote and contributed to~\ZF{}. Philippe No\"el and
+ 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.}