changeset 44048 | 64f574163ca2 |
parent 27712 | 007a339b9e7d |
child 44049 | 9f9a40e778d6 |
--- a/doc-src/TutorialI/fp.tex Mon Aug 08 07:13:16 2011 +0200 +++ b/doc-src/TutorialI/fp.tex Mon Aug 08 07:35:42 2011 +0200 @@ -249,7 +249,7 @@ \index{type synonyms}% Type synonyms are similar to those found in ML\@. They are created by a -\commdx{types} command: +\commdx{type\_synonym} command: \medskip \input{Misc/document/types.tex}