
diff -r c677baeac0f7 -r 33fbffd06c12 doc-src/Intro/intro.tex
--- a/doc-src/Intro/intro.tex	Tue Jul 21 16:38:25 1998 +0200
+++ b/doc-src/Intro/intro.tex	Tue Jul 21 16:41:12 1998 +0200
@@ -7,7 +7,7 @@
 %prth *(\(.*\));          \1;      
 %{\\out \(.*\)}          {\\out val it = "\1" : thm}
 
-\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[4ex] Introduction to Isabelle}   
+\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] Introduction to Isabelle}   
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\
         \texttt{lcp@cl.cam.ac.uk}\\[3ex] 




