--- a/doc-src/TutorialI/ToyList/document/ToyList.tex Mon Mar 19 13:28:06 2001 +0100
+++ b/doc-src/TutorialI/ToyList/document/ToyList.tex Mon Mar 19 17:25:42 2001 +0100
@@ -114,7 +114,7 @@
illustrate not just the basic proof commands but also the typical proof
process.
-\subsubsection*{Main goal: \isa{rev{\isacharparenleft}rev\ xs{\isacharparenright}\ {\isacharequal}\ xs}.}
+\subsubsection*{Main Goal: \isa{rev{\isacharparenleft}rev\ xs{\isacharparenright}\ {\isacharequal}\ xs}.}
Our goal is to show that reversing a list twice produces the original
list. The input line%