diff options
| author | letouzey | 2011-03-10 14:21:09 +0000 |
|---|---|---|
| committer | letouzey | 2011-03-10 14:21:09 +0000 |
| commit | 1ac63f8e8cdc66b117a9b0deab1ab7a8afba41df (patch) | |
| tree | 2a8fc55ed30fe04b921d1d642334e54f77535ba6 /kernel | |
| parent | 6ac37d6ee6fe113b89177e1c61f520f8d3e6f65f (diff) | |
ZBits,ZdivEucl,ZDivFloor: a few lemmas with weaker preconditions
Initial patch by Robbert Krebbers.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13900 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions