| changeset 9568 | 20c410fb5104 |
| parent 9523 | 232b09dba0fe |
| child 9695 | ec7d7f877712 |
--- a/doc-src/Ref/tactic.tex Wed Aug 09 21:13:42 2000 +0200 +++ b/doc-src/Ref/tactic.tex Wed Aug 09 21:14:07 2000 +0200 @@ -248,7 +248,7 @@ new assumption to subgoal~$i$. \item[\ttindexbold{subgoal_tac} {\it formula} {\it i}] -adds the {\it formula} as a assumption to subgoal~$i$, and inserts the same +adds the {\it formula} as an assumption to subgoal~$i$, and inserts the same {\it formula} as a new subgoal, $i+1$. \item[\ttindexbold{subgoals_tac} {\it formulae} {\it i}]