--- a/doc-src/TutorialI/Recdef/document/Nested2.tex Mon Jul 16 13:14:19 2001 +0200
+++ b/doc-src/TutorialI/Recdef/document/Nested2.tex Tue Jul 17 13:46:21 2001 +0200
@@ -74,7 +74,7 @@
\begin{isamarkuptext}%
\noindent
or declare them globally
-by giving them the \isaindexbold{recdef_cong} attribute as in%
+by giving them the \attrdx{recdef_cong} attribute as in%
\end{isamarkuptext}%
\isacommand{declare}\ map{\isacharunderscore}cong{\isacharbrackleft}recdef{\isacharunderscore}cong{\isacharbrackright}%
\begin{isamarkuptext}%