<Operator
name = "*****"
- uri = "cic:/Coq/Init/Peano/plus.con | cic:/Coq/ZArith/fast_integer/fast_integers/Zplus.con"
+ uri = "cic:/Coq/Init/Peano/plus.con | cic:/Coq/ZArith/fast_integer/Zplus.con"
arity = "2"
m-tag = "plus"/>
<Operator
name = "*****"
- uri = "cic:/Coq/Init/Peano/mult.con | cic:/Coq/ZArith/fast_integer/fast_integers/Zmult.con"
+ uri = "cic:/Coq/Init/Peano/mult.con | cic:/Coq/ZArith/fast_integer/Zmult.con"
arity = "2"
m-tag = "times"/>
<Operator
name = "*****"
- uri = "cic:/Coq/ZArith/fast_integer/fast_integers/Zopp.con"
+ uri = "cic:/Coq/ZArith/fast_integer/Zopp.con"
arity = "1"
m-tag = "minus"/>