--- a/CookBook/Intro.thy	Mon Oct 20 06:22:11 2008 +0000
+++ b/CookBook/Intro.thy	Mon Oct 27 18:48:52 2008 +0100
@@ -16,10 +16,10 @@
 text {* 
   This cookbook targets an audience who already knows how to use Isabelle
   for writing theories and proofs. We also assume that readers are 
-  familiar with the Standard ML, the programming language in which  
+  familiar with Standard ML, the programming language in which  
   most of Isabelle is implemented. If you are unfamiliar with either of
   these two subjects, you should first work through the Isabelle/HOL
-  tutorial \cite{isa-tutorial} and Paulson's book on Standard ML
+  tutorial \cite{isa-tutorial} or Paulson's book on Standard ML
   \cite{paulson-ml2}.
 
 *}