diff options
| -rw-r--r-- | proofs/refiner.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/refiner.mli b/proofs/refiner.mli index 59c5e4e4ee..dd85f004ae 100644 --- a/proofs/refiner.mli +++ b/proofs/refiner.mli @@ -67,7 +67,7 @@ val tclTHENL : tactic -> tactic -> tactic val tclTHENS : tactic -> tactic list -> tactic (* Same as [tclTHENS] but completes with [tac3] if the number resulting - subgoals is strictly less than [n] *) + subgoals is strictly more than [n] *) val tclTHENST : tactic -> tactic list -> tactic -> tactic (* Same as [tclTHENS] but completes with [tac3 i] *) |