1.1 --- a/doc-src/Ref/tactic.tex	Fri Aug 04 11:47:28 2000 +0200
     1.2 +++ b/doc-src/Ref/tactic.tex	Fri Aug 04 22:53:44 2000 +0200
     1.3 @@ -229,7 +229,7 @@
     1.4  cut_facts_tac : thm list -> int -> tactic
     1.5  cut_inst_tac  : (string*string)list -> thm -> int -> tactic
     1.6  subgoal_tac   : string -> int -> tactic
     1.7 -subgoal_tacs  : string list -> int -> tactic
     1.8 +subgoals_tac  : string list -> int -> tactic
     1.9  \end{ttbox}
    1.10  These tactics add assumptions to a subgoal.
    1.11  \begin{ttdescription}