--- a/CookBook/Intro.thy	Tue Jan 27 06:15:13 2009 +0000
+++ b/CookBook/Intro.thy	Tue Jan 27 17:50:08 2009 +0000
@@ -11,7 +11,7 @@
   of Isabelle programming, and to explain tricks of the trade. The code
   provided in the Cookbook is as far as possible checked against recent
   versions of Isabelle.  If something does not work, then please let us
-  know. If you have comments or like to add to the Cookbook, 
+  know. If you have comments, criticism or like to add to the Cookbook, 
   feel free---you are most welcome!  
 *}