diff options
| author |  vsiles <vsiles@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-09-26 15:12:17 +0000 |
|---|---|---|
| committer | vsiles <vsiles@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-09-26 15:12:17 +0000 |
| commit | 5f4a8ef2cd2a8ad965366530bef9e793337b023b (patch) | |
| tree | f53a5b4c2f7650a19cb844fa4c9eae5624821484 /test-suite | |
| parent | d0ca084ce6e466c68e3c6288cd7da67411154d6e (diff) | |
added a lemma to prove inj_pair2 when eq_dec is available.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10144 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite')
0 files changed, 0 insertions, 0 deletions