doc-src/Logics/logics.tex
changeset 6623 021728c71030
parent 6597 56ff27255ac8
child 7160 1135f3f8782c
--- a/doc-src/Logics/logics.tex	Mon May 10 15:35:03 1999 +0200
+++ b/doc-src/Logics/logics.tex	Mon May 10 16:35:22 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}  
 %% run    ../sedindex logics    to prepare index file
-\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] Isabelle's Logics}
+\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Isabelle's Logics}
 
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\