
diff -r 83f36a1c62f2 -r 3fb9f820a294 CookBook/Intro.thy
--- a/CookBook/Intro.thy	Fri Mar 06 16:12:16 2009 +0000
+++ b/CookBook/Intro.thy	Fri Mar 06 21:52:17 2009 +0000
@@ -14,7 +14,7 @@
   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! The tutorial is meant to be 
+  tutorial, please feel free---you are most welcome! The tutorial is meant to be 
   gentle and comprehensive. To achieve this we need your feedback. 
 *}
 
@@ -38,7 +38,7 @@
   part of the distribution of Isabelle):
 
   \begin{description}
-  \item[The Implementation Manual] describes Isabelle
+  \item[The Isabelle/Isar Implementation Manual] describes Isabelle
   from a high-level perspective, documenting both the underlying
   concepts and some of the interfaces. 
 
@@ -110,7 +110,7 @@
 
   A few exercises a scattered around the text. Their solutions are given 
   in Appendix~\ref{ch:solutions}. Of course, you learn most, if you first try
-  to solve the exercises on your own.
+  to solve the exercises on your own, and then look at the solutions.
 
 *}
 




