| changeset 11216 | 279004936bb0 |
| parent 10978 | 5eebea8f359f |
| child 11428 | 332347b9b942 |
--- 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