X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FhelmLibraryObjects.ml;h=3ff0163d2c6880b4520af7c8698e5c66ce092a4b;hb=d0593639fe811c06577b39dc62fb5c2734246fc8;hp=83f2d36479015f3d0626c6959a9b3a640a451c2b;hpb=b3bfd6b249600b15552c890306a635aee30c2a74;p=helm.git

diff --git a/helm/ocaml/cic/helmLibraryObjects.ml b/helm/ocaml/cic/helmLibraryObjects.ml
index 83f2d3647..3ff0163d2 100644
--- a/helm/ocaml/cic/helmLibraryObjects.ml
+++ b/helm/ocaml/cic/helmLibraryObjects.ml
@@ -80,15 +80,6 @@ module Logic =
     let absurd_URI = uri "cic:/Coq/Init/Logic/absurd.con"
   end
 
-module Logic_Type =
-  struct
-    let eqt_URI = uri "cic:/Coq/Init/Logic_Type/eqT.ind"
-    let sym_eqt_URI = uri "cic:/Coq/Init/Logic_Type/sym_eqT.con"
-
-    let refl_eqt = mutconstruct eqt_URI 0 1
-    let sym_eqt = const sym_eqt_URI
-  end
-
 module Datatypes =
   struct
     let bool_URI = uri "cic:/Coq/Init/Datatypes/bool.ind"