diff options
author | 2007-09-26 15:12:17 +0000 | |
---|---|---|
committer | 2007-09-26 15:12:17 +0000 | |
commit | 5f4a8ef2cd2a8ad965366530bef9e793337b023b (patch) | |
tree | f53a5b4c2f7650a19cb844fa4c9eae5624821484 /toplevel | |
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 'toplevel')
0 files changed, 0 insertions, 0 deletions