doc-src/TutorialI/fp.tex

 
 \subsection{Type Synonyms}
 
 \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}
 
 \input{Misc/document/prime_def.tex}