doc-src/Intro/intro.tex
changeset 5167 10e033194e9d
parent 5165 ac83801ab294
child 5170 33fbffd06c12
     1.1 --- a/doc-src/Intro/intro.tex	Tue Jul 21 08:53:24 1998 +0200
     1.2 +++ b/doc-src/Intro/intro.tex	Tue Jul 21 08:54:09 1998 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  %prth *(\(.*\));          \1;      
     1.5  %{\\out \(.*\)}          {\\out val it = "\1" : thm}
     1.6  
     1.7 -\title{\includegraphics[scale=0.5]{../isabelle.ps} \\[4ex] Introduction to Isabelle}   
     1.8 +\title{\includegraphics[scale=0.5]{../isabelle.eps} \\[4ex] Introduction to Isabelle}   
     1.9  \author{{\em Lawrence C. Paulson}\\
    1.10          Computer Laboratory \\ University of Cambridge \\
    1.11          \texttt{lcp@cl.cam.ac.uk}\\[3ex]