doc-src/Ref/ref.ind

     \subitem of simplification, 106
     \subitem of translations, 92
   \item exceptions
     \subitem printing of, 5
   \item {\tt exit}, \bold{2}
-  \item {\tt extensional}, \bold{44}
+  \item {\tt extensional}, \bold{43}
 
   \indexspace
 
   \item {\tt fa}, \bold{11}
   \item {\tt Fast_tac}, \bold{128}

   \item {\tt fold_goals_tac}, \bold{20}
   \item {\tt fold_tac}, \bold{20}
   \item {\tt forall_elim}, \bold{44}
   \item {\tt forall_elim_list}, \bold{44}
   \item {\tt forall_elim_var}, \bold{44}
-  \item {\tt forall_elim_vars}, \bold{45}
+  \item {\tt forall_elim_vars}, \bold{44}
   \item {\tt forall_intr}, \bold{44}
   \item {\tt forall_intr_frees}, \bold{44}
   \item {\tt forall_intr_list}, \bold{44}
   \item {\tt force_strip_shyps}, \bold{40}
   \item {\tt forw_inst_tac}, \bold{18}

   \item {\tt iff_reflection} theorem, 113
   \item {\tt imp_intr} theorem, \bold{97}
   \item {\tt implies_elim}, \bold{43}
   \item {\tt implies_elim_list}, \bold{43}
   \item {\tt implies_intr}, \bold{42}
-  \item {\tt implies_intr_hyps}, \bold{43}
+  \item {\tt implies_intr_hyps}, \bold{42}
   \item {\tt implies_intr_list}, \bold{42}
   \item {\tt incr_boundvars}, \bold{58}, 92
   \item {\tt indexname} ML type, 57, 67
   \item infixes, \bold{73}
   \item {\tt insert} constant, 88