
diff -r c677baeac0f7 -r 33fbffd06c12 doc-src/Logics/logics.tex
--- a/doc-src/Logics/logics.tex	Tue Jul 21 16:38:25 1998 +0200
+++ b/doc-src/Logics/logics.tex	Tue Jul 21 16:41:12 1998 +0200
@@ -16,7 +16,7 @@
 %%% to index constants:   \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\)     \\cdx{\1}  
 %%% to deverbify:         \\verb|\([^|]*\)|     \\ttindex{\1}  
 %% run    ../sedindex logics    to prepare index file
-\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[4ex] Isabelle's Object-Logics}
+\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] Isabelle's Object-Logics}
 
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\




