--- a/CookBook/Intro.thy	Fri Feb 06 06:19:52 2009 +0000
+++ b/CookBook/Intro.thy	Sat Feb 07 12:05:02 2009 +0000
@@ -96,7 +96,7 @@
   The usual user-level commands of Isabelle are written in bold, for 
   example \isacommand{lemma}, \isacommand{foobar} and so on.  
   We use @{text "$"} to indicate that a command  needs to be run 
-  in the Unix-shell, for example
+  in a Unix-shell, for example
 
   @{text [display] "$ ls -la"}
 
@@ -104,7 +104,7 @@
   italic and highlighted as follows:
 
   \begin{readmore}
-  Further information or pointer to file.
+  Further information or pointers to files.
   \end{readmore}
 
 *}