diff options
| author | letouzey | 2009-07-24 16:27:55 +0000 |
|---|---|---|
| committer | letouzey | 2009-07-24 16:27:55 +0000 |
| commit | d0074fd5a21d9c0994694c43773564a4f554d6e1 (patch) | |
| tree | aa040e81fddf1fc9a7e36d48b1243c75806e65dd /plugins/interface | |
| parent | a666838951f9c53cd85c9d72474aa598ffe02a1e (diff) | |
OrderedTypeEx.N_as_OT use Nlt, various minor improvements in N/ZArith
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12250 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/interface')
0 files changed, 0 insertions, 0 deletions