changeset 5170 | 33fbffd06c12 |
parent 5167 | 10e033194e9d |
child 6592 | c120262044b6 |
--- 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]