1.1 --- a/doc-src/Ref/tactic.tex	Wed Aug 09 21:13:42 2000 +0200
     1.2 +++ b/doc-src/Ref/tactic.tex	Wed Aug 09 21:14:07 2000 +0200
     1.3 @@ -248,7 +248,7 @@
     1.4    new assumption to subgoal~$i$. 
     1.5  
     1.6  \item[\ttindexbold{subgoal_tac} {\it formula} {\it i}] 
     1.7 -adds the {\it formula} as a assumption to subgoal~$i$, and inserts the same
     1.8 +adds the {\it formula} as an assumption to subgoal~$i$, and inserts the same
     1.9  {\it formula} as a new subgoal, $i+1$.
    1.10  
    1.11  \item[\ttindexbold{subgoals_tac} {\it formulae} {\it i}]