diff options
| author | bertot | 2003-01-24 08:11:29 +0000 |
|---|---|---|
| committer | bertot | 2003-01-24 08:11:29 +0000 |
| commit | 1b0745d66aab1d06f6f22d7c70f56aad6a2cec36 (patch) | |
| tree | 96cd6f5b78e6f891ec6915eca7167e02fb037190 /kernel | |
| parent | df08e41fc891990232e8b809d09dcff18197b85b (diff) | |
Corrects the way conjunctions, existential quantifications, and arrows are
treated in eliminations for proof-by-pointing.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3607 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions