
diff -r 3ed58bbcf4bd -r 332347b9b942 doc-src/TutorialI/Recdef/document/Nested2.tex
--- 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}%




