# HG changeset patch
# User wenzelm
# Date 925833595 -7200
# Node ID d0c6bb2577b15092ba0583bf8b70e24495ebc0bd
# Parent  918c41d2bfbec0587d97eb97aa5006b5b7c6e75a
isabelle_zf image;

diff -r 918c41d2bfbe -r d0c6bb2577b1 doc-src/ZF/Makefile
--- 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
diff -r 918c41d2bfbe -r d0c6bb2577b1 doc-src/ZF/logics-ZF.tex
--- 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.}