diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-05-02 10:46:25 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-05-02 10:46:25 +0000 |
| commit | d4c5a863d35bb131b7236fd5df48cfc882c0b0f1 (patch) | |
| tree | 97d965fdb63c10f634588aee32a53e093e21997f /theories/ZArith/Zorder.v | |
| parent | b8145043da6f504d60abf4f4aa4be24bf774b215 (diff) | |
Utilisation Z_scope
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6982 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/ZArith/Zorder.v')
0 files changed, 0 insertions, 0 deletions