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 /README.win | |
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 'README.win')
0 files changed, 0 insertions, 0 deletions