let rgt_URI = uri rgt_SURI
let rtheory_URI = uri "cic:/Coq/Reals/Rbase/RTheory.con"
let rinv_r1_URI = uri "cic:/Coq/Reals/Rbase/Rinv_R1.con"
let rgt_URI = uri rgt_SURI
let rtheory_URI = uri "cic:/Coq/Reals/Rbase/RTheory.con"
let rinv_r1_URI = uri "cic:/Coq/Reals/Rbase/Rinv_R1.con"