From f88549d5f75107867c34e2300bd4199d4d6e80b2 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 24 Feb 2004 15:21:40 +0000 Subject: [PATCH] More v8.0 URIs. --- helm/ocaml/cic/helmLibraryObjects.ml | 21 ++++++++++++++------- 1 file changed, 14 insertions(+), 7 deletions(-) diff --git a/helm/ocaml/cic/helmLibraryObjects.ml b/helm/ocaml/cic/helmLibraryObjects.ml index 3ff0163d2..913fc9ef3 100644 --- a/helm/ocaml/cic/helmLibraryObjects.ml +++ b/helm/ocaml/cic/helmLibraryObjects.ml @@ -96,15 +96,20 @@ module Reals = let r_URI = uri "cic:/Coq/Reals/Rdefinitions/R.con" let rplus_SURI = "cic:/Coq/Reals/Rdefinitions/Rplus.con" let rplus_URI = uri rplus_SURI - 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 let ropp_SURI = "cic:/Coq/Reals/Rdefinitions/Ropp.con" let ropp_URI = uri ropp_SURI let rinv_SURI = "cic:/Coq/Reals/Rdefinitions/Rinv.con" let rinv_URI = uri rinv_SURI - let r0_URI = uri "cic:/Coq/Reals/Rdefinitions/R0.con" - let r1_URI = uri "cic:/Coq/Reals/Rdefinitions/R1.con" + let r0_SURI = "cic:/Coq/Reals/Rdefinitions/R0.con" + let r0_URI = uri r0_SURI + let r1_SURI = "cic:/Coq/Reals/Rdefinitions/R1.con" + let r1_URI = uri r1_SURI let rle_SURI = "cic:/Coq/Reals/Rdefinitions/Rle.con" let rle_URI = uri rle_SURI let rge_SURI = "cic:/Coq/Reals/Rdefinitions/Rge.con" @@ -129,8 +134,10 @@ module Peano = struct let plus_SURI = "cic:/Coq/Init/Peano/plus.con" let plus_URI = uri plus_SURI - let minus_URI = uri "cic:/Coq/Init/Peano/minus.con" - let mult_URI = uri "cic:/Coq/Init/Peano/mult.con" + let minus_SURI = "cic:/Coq/Init/Peano/minus.con" + let minus_URI = uri minus_SURI + let mult_SURI = "cic:/Coq/Init/Peano/mult.con" + let mult_URI = uri mult_SURI let pred_URI = uri "cic:/Coq/Init/Peano/pred.con" let le_SURI = "cic:/Coq/Init/Peano/le.ind" let le_URI = uri le_SURI -- 2.39.2