# HG changeset patch
# User wenzelm
# Date 965848447 -7200
# Node ID 20c410fb51046d746032bf6246201c75fa414492
# Parent  48f63548af46b0ce97d18de966f02552b90a0be0
fixed spelling;

diff -r 48f63548af46 -r 20c410fb5104 doc-src/Ref/tactic.tex
--- 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}]