diff -r e7a4683c0026 -r 03003b966e91 doc-src/Ref/ref.ind
--- a/doc-src/Ref/ref.ind	Mon Jan 12 16:56:39 1998 +0100
+++ b/doc-src/Ref/ref.ind	Mon Jan 12 17:26:00 1998 +0100
@@ -53,7 +53,7 @@
   \item {\tt AddSIs}, \bold{137}
   \item {\tt addSIs}, \bold{132}
   \item {\tt addSolver}, \bold{111}
-  \item {\tt addsplits}, \bold{112}, 125, 126
+  \item {\tt addsplits}, \bold{112}, 124, 126
   \item {\tt addss}, \bold{133}, 134
   \item {\tt addSSolver}, \bold{111}
   \item {\tt all_tac}, \bold{31}
@@ -168,7 +168,7 @@
   \item {\tt compWrapper}, \bold{133}
   \item {\tt concl_of}, \bold{40}
   \item {\tt COND}, \bold{33}
-  \item congruence rules, 108
+  \item congruence rules, 109
   \item {\tt Const}, \bold{60}, 86, 96
   \item {\tt Constant}, 83, 96
   \item constants, \bold{60}
@@ -413,7 +413,7 @@
   \item meta-rules, \see{meta-rules}{1}, 42--48
   \item {\tt METAHYPS}, 16, \bold{34}
   \item mixfix declarations, 52, 73--78
-  \item {\tt mk_case_split_tac}, \bold{126}
+  \item {\tt mk_case_split_tac}, \bold{125}
   \item {\tt mk_simproc}, \bold{120}
   \item {\tt ML} section, 53, 95, 97
   \item model checkers, 79
@@ -425,7 +425,7 @@
   \indexspace
 
   \item name tokens, \bold{70}
-  \item {\tt nat_cancel}, \bold{121}
+  \item {\tt nat_cancel}, \bold{108}
   \item {\tt net_bimatch_tac}, \bold{25}
   \item {\tt net_biresolve_tac}, \bold{25}
   \item {\tt net_match_tac}, \bold{25}
@@ -636,7 +636,7 @@
   \item simplification, 103--126
     \subitem forward rules, 113
     \subitem from classical reasoner, 133
-    \subitem setting up, 122
+    \subitem setting up, 121
     \subitem tactics, 112
   \item simplification sets, 106
   \item {\tt simplify}, 113
@@ -661,7 +661,7 @@
   \item sort hypotheses, 41
   \item sorts
     \subitem printing of, 4
-  \item {\tt split_tac}, \bold{126}
+  \item {\tt split_tac}, \bold{125}
   \item {\tt ssubst} theorem, \bold{99}
   \item {\tt stac}, \bold{100}
   \item stamps, \bold{51}, 59