--- a/doc-src/TutorialI/Recdef/document/Nested2.tex Wed Dec 13 09:32:55 2000 +0100
+++ b/doc-src/TutorialI/Recdef/document/Nested2.tex Wed Dec 13 09:39:53 2000 +0100
@@ -75,7 +75,7 @@
\begin{isamarkuptext}%
\noindent
or declare them globally
-by giving them the \isa{recdef{\isacharunderscore}cong} attribute as in%
+by giving them the \isaindexbold{recdef_cong} attribute as in%
\end{isamarkuptext}%
\isacommand{declare}\ map{\isacharunderscore}cong{\isacharbrackleft}recdef{\isacharunderscore}cong{\isacharbrackright}%
\begin{isamarkuptext}%