
diff -r c39f83d8daeb -r 26e5b41faa74 CookBook/Intro.thy
--- a/CookBook/Intro.thy	Sun Feb 15 18:58:21 2009 +0000
+++ b/CookBook/Intro.thy	Mon Feb 16 17:17:24 2009 +0000
@@ -14,7 +14,8 @@
   examples included in the tutorial. The code 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, criticism or like to add to the
-  tutorial, feel free---you are most welcome!
+  tutorial, feel free---you are most welcome! The tutorial is meant to be 
+  gentle and comprehensive.
 *}
 
 section {* Intended Audience and Prior Knowledge *}
@@ -131,8 +132,8 @@
   chapter and also contributed recipe \ref{rec:named}.
   \end{itemize}
 
-  Please let me know if I forgotten anything. All errors are of course my
-  resposibility.
+  Please let me know of any omissions. Responsibility for any remaining
+  errors lies with me.
 *}
 
 end
\ No newline at end of file




