diff options
| author |  bertot <bertot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-01-24 08:11:29 +0000 |
|---|---|---|
| committer | bertot <bertot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-01-24 08:11:29 +0000 |
| commit | 1b0745d66aab1d06f6f22d7c70f56aad6a2cec36 (patch) | |
| tree | 96cd6f5b78e6f891ec6915eca7167e02fb037190 /.depend.camlp4 | |
| 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 '.depend.camlp4')
0 files changed, 0 insertions, 0 deletions