| changeset 11237 | 0ef5ecc1fd4d |
| parent 11236 | 17403c5a9eb1 |
| child 11292 | d838df879585 |
--- 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} *}