X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FlibraryObjects.ml;h=f7613fe1949789b496cc7820d583d3d774c91620;hb=b8ac0d11d5cd4083838a3848fce68683a518b54a;hp=d9fb88f6bf1b9cd9e41bcbbb35a7c84288cb0361;hpb=ed207660b8a0fa34f1d34b9dbb41144c5be29e68;p=helm.git

diff --git a/helm/ocaml/cic/libraryObjects.ml b/helm/ocaml/cic/libraryObjects.ml
index d9fb88f6b..f7613fe19 100644
--- a/helm/ocaml/cic/libraryObjects.ml
+++ b/helm/ocaml/cic/libraryObjects.ml
@@ -57,3 +57,7 @@ let trans_eq_URI =
  something_URI
   HelmLibraryObjects.Logic.trans_eq_URI
   MatitaLibraryObjects.Equality.trans_eq_URI
+
+let true_URI = MatitaLibraryObjects.Logic.true_URI
+let false_URI = MatitaLibraryObjects.Logic.false_URI
+let absurd_URI = MatitaLibraryObjects.Logic.absurd_URI