diff -r 332347b9b942 -r 30da2f5eaf57 doc-src/TutorialI/tutorial.ind
--- a/doc-src/TutorialI/tutorial.ind	Tue Jul 17 13:46:21 2001 +0200
+++ b/doc-src/TutorialI/tutorial.ind	Tue Jul 17 15:07:36 2001 +0200
@@ -450,8 +450,8 @@
 		\hyperpage{98}, \hyperpage{160--168}
     \subitem and numeric literals, \hyperpage{132}
   \item \isa {recdef_cong} (attribute), \hyperpage{164}
-  \item \isa {recdef_simp}, \bold{47}
-  \item \isa {recdef_wf}, \bold{162}
+  \item \isa {recdef_simp} (attribute), \hyperpage{47}
+  \item \isa {recdef_wf} (attribute), \hyperpage{162}
   \item \isacommand {record} (command), \hyperpage{140}
   \item \isa {record_split} (method), \hyperpage{143}
   \item records, \hyperpage{140--144}