diff -r 45e31a196b57 -r 5a783837b50b src/Doc/Prog_Prove/document/intro-isabelle.tex
--- a/src/Doc/Prog_Prove/document/intro-isabelle.tex	Tue Dec 23 21:14:44 2014 +0100
+++ b/src/Doc/Prog_Prove/document/intro-isabelle.tex	Wed Dec 24 10:06:37 2014 +0100
@@ -75,7 +75,7 @@
 Now you need to learn what to type into it.
 \else
 If you want to apply what you have learned about Isabelle we recommend you
-donwload and read the book
+download and read the book
 \href{http://www.concrete-semantics.org}{Concrete
 Semantics}~\cite{ConcreteSemantics}, a guided tour of the wonderful world of
 programming langage semantics formalised in Isabelle.  In fact,