
diff -r 748d9c1a32fb -r fcc0e6e54dca CookBook/Intro.thy
--- a/CookBook/Intro.thy	Thu Feb 19 01:09:16 2009 +0000
+++ b/CookBook/Intro.thy	Thu Feb 19 14:44:53 2009 +0000
@@ -15,7 +15,7 @@
   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! The tutorial is meant to be 
-  gentle and comprehensive. To achieve this we need your feedback.
+  gentle and comprehensive. To achieve this we need your feedback. 
 *}
 
 section {* Intended Audience and Prior Knowledge *}




