X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FmatitaLibraryObjects.ml;fp=helm%2Focaml%2Fcic%2FmatitaLibraryObjects.ml;h=0a4b4f11e035fc32e8d97e2d27a8b8d52a0dfb11;hb=b8ac0d11d5cd4083838a3848fce68683a518b54a;hp=33129ce4c072fb61bca49349492820c28ae261ee;hpb=ce1f4abf56632f8fef8368073d3f6728cf2655c1;p=helm.git

diff --git a/helm/ocaml/cic/matitaLibraryObjects.ml b/helm/ocaml/cic/matitaLibraryObjects.ml
index 33129ce4c..0a4b4f11e 100644
--- a/helm/ocaml/cic/matitaLibraryObjects.ml
+++ b/helm/ocaml/cic/matitaLibraryObjects.ml
@@ -33,3 +33,10 @@ module Equality =
     let sym_eq_URI = uri "cic:/matita/equality/sym_eq.con"
     let trans_eq_URI = uri "cic:/matita/equality/trans_eq.con"
   end
+
+module Logic =
+  struct
+    let true_URI = uri "cic:/matita/logic/True.ind"
+    let false_URI = uri "cic:/matita/logic/False.ind"
+    let absurd_URI = uri "cic:/matita/logic/absurd.ind"
+  end