changeset 30118 | df610709eda5 |
parent 14148 | 6580d374a509 |
child 42637 | 381fdcab0f36 |
--- a/doc-src/Intro/intro.tex Thu Feb 26 20:03:32 2009 +0100 +++ b/doc-src/Intro/intro.tex Thu Feb 26 20:09:14 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]