diff -r 17403c5a9eb1 -r 0ef5ecc1fd4d doc-src/TutorialI/Overview/FP1.thy --- a/doc-src/TutorialI/Overview/FP1.thy Fri Mar 30 18:12:26 2001 +0200 +++ b/doc-src/TutorialI/Overview/FP1.thy Fri Mar 30 18:18:22 2001 +0200 @@ -293,7 +293,7 @@ text{* \begin{exercise} -Define a datatype of ordinals and the ordinal Gamma0. +Define a datatype of ordinals and the ordinal $\Gamma_0$. \end{exercise} *}