diff -r 279da0358aa9 -r 09a6c44a48ea doc-src/TutorialI/Advanced/document/simp.tex
--- a/doc-src/TutorialI/Advanced/document/simp.tex	Thu Jul 26 18:23:38 2001 +0200
+++ b/doc-src/TutorialI/Advanced/document/simp.tex	Fri Aug 03 18:04:55 2001 +0200
@@ -58,7 +58,7 @@
 congruence rule for \isa{if}. Analogous rules control the evaluation of
 \isa{case} expressions.
 
-You can declare your own congruence rules with the attribute \isa{cong},
+You can declare your own congruence rules with the attribute \attrdx{cong},
 either globally, in the usual manner,
 \begin{quote}
 \isacommand{declare} \textit{theorem-name} \isa{{\isacharbrackleft}cong{\isacharbrackright}}