diff options
| author |  sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-09-29 11:17:09 +0000 |
|---|---|---|
| committer | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-09-29 11:17:09 +0000 |
| commit | c46ed00343b9b574d25621875ef0b5c2c637937a (patch) | |
| tree | a90c0bdf1e667055d47e1627c39a8c426a411884 /theories/Arith/Minus.v | |
| parent | ad7b7538ee9bd76dc4a2927ac004a1b4c1341b68 (diff) | |
The list of possible solutions proposed by the tactic cannot contain any
longer two set of goals such that the first is a subset of the second.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6151 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Arith/Minus.v')
0 files changed, 0 insertions, 0 deletions