1 <!DOCTYPE OpList SYSTEM "operator.dtd">
3 <!-- ************************** ARITHMETICS ****************************** -->
5 <OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
7 <import href="positive.xsl"/>
11 uri = "cic:/Coq/Init/Peano/le.ind | cic:/Coq/ZArith/zarith_aux/Zle.con"
17 uri = "cic:/Coq/Init/Peano/lt.con | cic:/Coq/ZArith/zarith_aux/Zlt.con"
22 name = "GREATER EQUAL"
23 uri = "cic:/Coq/Init/Peano/ge.con | cic:/Coq/ZArith/zarith_aux/Zge.con"
29 uri = "cic:/Coq/Init/Peano/gt.con | cic:/Coq/ZArith/zarith_aux/Zgt.con"
35 uri = "cic:/Coq/Init/Peano/plus.con | cic:/Coq/ZArith/fast_integer/fast_integers/Zplus.con"
41 uri = "cic:/Coq/Arith/Minus/minus.con | cic:/Coq/ZArith/zarith_aux/Zminus.con"
47 uri = "cic:/Coq/Init/Peano/mult.con | cic:/Coq/ZArith/fast_integer/fast_integers/Zmult.con"
53 uri = "cic:/Coq/Arith/Min/min.con | cic:/Coq/ZArith/zarith_aux/Zmin.con"
59 uri = "cic:/Coq/ZArith/fast_integer/fast_integers/Zopp.con"
65 uri = "cic:/Coq/ZArith/zarith_aux/absolu.con"