--- 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