diff -r b44ad7e4c4d2 -r 279004936bb0 doc-src/TutorialI/ToyList/ToyList.thy
--- a/doc-src/TutorialI/ToyList/ToyList.thy	Mon Mar 19 13:28:06 2001 +0100
+++ b/doc-src/TutorialI/ToyList/ToyList.thy	Mon Mar 19 17:25:42 2001 +0100
@@ -117,7 +117,7 @@
 illustrate not just the basic proof commands but also the typical proof
 process.
 
-\subsubsection*{Main goal: @{text"rev(rev xs) = xs"}.}
+\subsubsection*{Main Goal: @{text"rev(rev xs) = xs"}.}
 
 Our goal is to show that reversing a list twice produces the original
 list. The input line