Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed spelling;
authorwenzelm
Wed, 09 Aug 2000 21:14:07 +0200
changeset 9568 20c410fb5104
parent 9567 48f63548af46
child 9569 68400ff46b09
fixed spelling;
doc-src/Ref/tactic.tex file | annotate | diff | comparison | revisions 
--- 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}]
isabelle