doc-src/Logics/HOL.tex

--- a/doc-src/Logics/HOL.tex	Tue Oct 21 10:39:27 1997 +0200
+++ b/doc-src/Logics/HOL.tex	Tue Oct 21 10:52:25 1997 +0200
@@ -1948,7 +1948,7 @@
 
 \subsection{Well-founded recursive functions}
 \label{sec:HOL:recdef}
-\index{primitive recursion|(}
+\index{recursion!general|(}
 \index{*recdef|(}
 
 Well-founded recursion can express any function whose termination can be