
diff -r 733614e236a3 -r 2f1736cb8f26 CookBook/Intro.thy
--- a/CookBook/Intro.thy	Tue Sep 30 03:30:40 2008 -0400
+++ b/CookBook/Intro.thy	Wed Oct 01 15:40:20 2008 -0400
@@ -39,10 +39,10 @@
   \item[The Isabelle Reference Manual] is an older document that used
   to be the main reference at a time when all proof scripts were written 
   on the ML level. Many parts of this manual are outdated now, but some 
-  parts, mainly the chapters on tactics, are still useful.
+  parts, particularly the chapters on tactics, are still useful.
   \end{description}
 
-  Then of ourse there is:
+  Then of course there is:
 
   \begin{description}
   \item[The code] is of course the ultimate reference for how




