X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FlibraryObjects.mli;h=859b4e732daf302b55d945e955afb4d152696ed5;hb=b8ac0d11d5cd4083838a3848fce68683a518b54a;hp=6a7bb1833dc11469aec411b6e39a2c827f2ba325;hpb=ce1f4abf56632f8fef8368073d3f6728cf2655c1;p=helm.git

diff --git a/helm/ocaml/cic/libraryObjects.mli b/helm/ocaml/cic/libraryObjects.mli
index 6a7bb1833..859b4e732 100644
--- a/helm/ocaml/cic/libraryObjects.mli
+++ b/helm/ocaml/cic/libraryObjects.mli
@@ -34,3 +34,8 @@ val eq_ind_URI : eq:UriManager.uri -> UriManager.uri
 val eq_ind_r_URI : eq:UriManager.uri -> UriManager.uri
 val trans_eq_URI : eq:UriManager.uri -> UriManager.uri
 val sym_eq_URI : eq:UriManager.uri -> UriManager.uri
+
+
+val false_URI : UriManager.uri
+val true_URI : UriManager.uri
+val absurd_URI : UriManager.uri