X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic%2FlibraryObjects.mli;h=0bf8bfea56f165d4d23b5de91e6f6acc67db6958;hb=4322dbc610348eb5af8ba10dc2131596387854c2;hp=0cd9f2e975bb18801766fe52ac974e1c6232fedf;hpb=894b08ca7d14aa7e31c35f3acb3903a1c3472a27;p=helm.git

diff --git a/components/cic/libraryObjects.mli b/components/cic/libraryObjects.mli
index 0cd9f2e97..0bf8bfea5 100644
--- a/components/cic/libraryObjects.mli
+++ b/components/cic/libraryObjects.mli
@@ -26,6 +26,7 @@
 val set_default : string -> UriManager.uri list -> unit
 val reset_defaults : unit -> unit 
 
+
 val eq_URI : unit -> UriManager.uri option
 
 val is_eq_URI : UriManager.uri -> bool
@@ -36,6 +37,7 @@ val is_trans_eq_URI : UriManager.uri -> bool
 val is_sym_eq_URI : UriManager.uri -> bool
 val is_eq_f_URI : UriManager.uri -> bool
 val is_eq_f_sym_URI : UriManager.uri -> bool
+val in_eq_URIs : UriManager.uri -> bool
 
 val eq_URI_of_eq_f_URI : UriManager.uri -> UriManager.uri