Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authornipkow
Fri, 30 Mar 2001 18:18:22 +0200
changeset 11237 0ef5ecc1fd4d
parent 11236 17403c5a9eb1
child 11238 1d789889c922
*** empty log message ***
doc-src/TutorialI/Overview/FP1.thy file | annotate | diff | comparison | revisions 
--- 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}
 *}
isabelle