
diff -r c8e9a4f97916 -r d563f8ff6aa0 CookBook/Intro.thy
--- a/CookBook/Intro.thy	Sat Jan 10 12:57:48 2009 +0000
+++ b/CookBook/Intro.thy	Mon Jan 12 16:03:05 2009 +0000
@@ -7,10 +7,13 @@
 chapter {* Introduction *}
 
 text {*
-  The purpose of this Cookbook is to guide the reader through the
-  first steps of Isabelle programming, and to provide recipes for
-  solving common problems. The code provided in the Cookbook is 
-  as far as possible checked against recent versions of Isabelle.
+  The purpose of this Cookbook is to guide the reader through the first steps
+  of Isabelle programming, and to explain some 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, you are very
+  welcome.
+
 *}
 
 section {* Intended Audience and Prior Knowledge *}




