--- a/CookBook/Readme.thy	Wed Oct 29 21:51:25 2008 +0100
+++ b/CookBook/Readme.thy	Thu Oct 30 13:36:51 2008 +0100
@@ -8,7 +8,7 @@
 
   \begin{itemize}
   \item You can make references to other Isabelle manuals using the 
-  reference names from those manuals. For this the following
+  reference names from those manuals. To do this the following
   four latex commands are defined:
   
   \begin{center}