
diff -r 3a1aef73b2b2 -r aea5d7fa7ef5 doc-src/Intro/intro.tex
--- a/doc-src/Intro/intro.tex	Wed Mar 04 11:05:02 2009 +0100
+++ b/doc-src/Intro/intro.tex	Wed Mar 04 11:05:29 2009 +0100
@@ -7,7 +7,7 @@
 %prth *(\(.*\));          \1;      
 %{\\out \(.*\)}          {\\out val it = "\1" : thm}
 
-\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Introduction to Isabelle}   
+\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Old Introduction to Isabelle}   
 \author{{\em Lawrence C. Paulson}\\
         Computer Laboratory \\ University of Cambridge \\
         \texttt{lcp@cl.cam.ac.uk}\\[3ex] 




