diff options
| author | clrenard | 2001-05-18 15:22:47 +0000 |
|---|---|---|
| committer | clrenard | 2001-05-18 15:22:47 +0000 |
| commit | 46151fff8957e97d0100622e304ba40afe37792f (patch) | |
| tree | c430c759accd357dcb8357f65d11c8eaba8c23ab | |
| parent | 65444536b790dff9809881859a3dff06f4164a0e (diff) | |
Erreur dans un commentaire ...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1757 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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] *) |