diff options
| author | letouzey | 2007-03-26 14:59:27 +0000 |
|---|---|---|
| committer | letouzey | 2007-03-26 14:59:27 +0000 |
| commit | b432124e904a23948f09f90846d92ef3472de041 (patch) | |
| tree | ef3300f5296e2e9bad89fb57b3c997669477f727 /kernel | |
| parent | e162aa587ea9be86ae6a9d2c6c11560137f17e73 (diff) | |
PositiveOrderedTypeBits is now formulated to be a UsualOrderedType, not only OrderedType
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9730 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions