- let rminus_URI = uri "cic:/Coq/Reals/Rdefinitions/Rminus.con"
- let rmult_URI = uri "cic:/Coq/Reals/Rdefinitions/Rmult.con"
- let rdiv_URI = uri "cic:/Coq/Reals/Rdefinitions/Rdiv.con"
+ let rminus_SURI = "cic:/Coq/Reals/Rdefinitions/Rminus.con"
+ let rminus_URI = uri rminus_SURI
+ let rmult_SURI = "cic:/Coq/Reals/Rdefinitions/Rmult.con"
+ let rmult_URI = uri rmult_SURI
+ let rdiv_SURI = "cic:/Coq/Reals/Rdefinitions/Rdiv.con"
+ let rdiv_URI = uri rdiv_SURI