
diff -r 9a6e5e0c4906 -r c8e9a4f97916 CookBook/Intro.thy
--- a/CookBook/Intro.thy	Thu Jan 08 22:47:15 2009 +0000
+++ b/CookBook/Intro.thy	Sat Jan 10 12:57:48 2009 +0000
@@ -16,7 +16,7 @@
 section {* Intended Audience and Prior Knowledge *}
 
 text {* 
-  This Cookbook targets an audience who already knows how to use Isabelle
+  This Cookbook targets readers who already know how to use Isabelle
   for writing theories and proofs. We also assume that readers are 
   familiar with the functional programming language ML, the language in 
   which most of Isabelle is implemented. If you are unfamiliar with either of




