
diff -r 3da5f3f07d8b -r 4e2341f6599d CookBook/Intro.thy
--- a/CookBook/Intro.thy	Fri Mar 13 16:57:16 2009 +0100
+++ b/CookBook/Intro.thy	Sat Mar 14 00:48:22 2009 +0100
@@ -108,7 +108,7 @@
   Further information or pointers to files.
   \end{readmore}
 
-  A few exercises a scattered around the text. Their solutions are given 
+  A few exercises are scattered around the text. Their solutions are given 
   in Appendix~\ref{ch:solutions}. Of course, you learn most, if you first try
   to solve the exercises on your own, and then look at the solutions.
 




