doc-src/Intro/intro.tex
changeset 6611 08dfd050b373
parent 6592 c120262044b6
child 7827 c9c615d970db
     1.1 --- a/doc-src/Intro/intro.tex	Thu May 06 18:48:46 1999 +0200
     1.2 +++ b/doc-src/Intro/intro.tex	Thu May 06 19:04:20 1999 +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.eps} \\[4ex] Introduction to Isabelle}   
     1.8 +\title{\includegraphics[scale=0.5]{isabelle} \\[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]