--- a/doc-src/ZF/Makefile Tue May 04 17:59:31 1999 +0200
+++ b/doc-src/ZF/Makefile Tue May 04 17:59:55 1999 +0200
@@ -10,7 +10,7 @@
../rail.sty ../proof.sty ../iman.sty ../extra.sty
logics-ZF.dvi.gz: $(FILES)
- test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
+ test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
-rm logics-ZF.dvi*
latex logics-ZF
rail logics-ZF
@@ -22,7 +22,7 @@
gzip -f logics-ZF.dvi
dist: $(FILES)
- test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
+ test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
-rm logics-ZF.dvi*
latex logics-ZF
latex logics-ZF
--- 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.}