# HG changeset patch
# User wenzelm
# Date 909669981 -3600
# Node ID 440c63c9bd9b44c7592946181cb4b37414f341ea
# Parent  5c0aa825c18e0951b2926ad1725439a266b1b24a
*** empty log message ***

diff -r 5c0aa825c18e -r 440c63c9bd9b doc-src/Ref/ref.ind
--- a/doc-src/Ref/ref.ind	Thu Oct 29 15:06:10 1998 +0100
+++ b/doc-src/Ref/ref.ind	Thu Oct 29 15:06:21 1998 +0100
@@ -56,7 +56,7 @@
   \item {\tt addSIs}, \bold{135}
   \item {\tt addSolver}, \bold{113}
   \item {\tt Addsplits}, \bold{107}
-  \item {\tt addsplits}, 115, \bold{115}
+  \item {\tt addsplits}, \bold{115}
   \item {\tt addss}, \bold{137}, 138
   \item {\tt addSSolver}, \bold{113}
   \item {\tt addSWrapper}, \bold{137}
@@ -685,7 +685,7 @@
   \item {\tt SOMEGOAL}, \bold{37}
   \item {\tt sort} nonterminal, \bold{72}
   \item sort constraints, 71
-  \item sort hypotheses, 44
+  \item sort hypotheses, 44, 46
   \item sorts
     \subitem printing of, 4
   \item {\tt ssubst} theorem, \bold{101}