--- a/CookBook/Intro.thy	Mon Oct 27 18:48:52 2008 +0100
+++ b/CookBook/Intro.thy	Wed Oct 29 13:58:36 2008 +0100
@@ -28,8 +28,8 @@
 
 text {*
   
-  The following documentation about Isabelle programming already exist (they are
-  included in the distribution of Isabelle):
+  The following documentation about Isabelle programming already exists (and is
+  part of the distribution of Isabelle):
 
   \begin{description}
   \item[The Implementation Manual] describes Isabelle