X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicLibrary.mli;h=357927f06c86468703bd6bf3624f5aa55148d3e5;hb=7233348f05485c2ee317df9c3407cf1ce7e56927;hp=1893e9659eb8394533728a397514d7a7c2715f34;hpb=3f551aa5900d5c756eb48cea751c032b3bcbcf37;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicLibrary.mli b/helm/software/components/ng_kernel/nCicLibrary.mli
index 1893e9659..357927f06 100644
--- a/helm/software/components/ng_kernel/nCicLibrary.mli
+++ b/helm/software/components/ng_kernel/nCicLibrary.mli
@@ -13,6 +13,8 @@
 
 exception ObjectNotFound of string Lazy.t
 
+val add_obj: NUri.uri -> NCic.obj -> unit
+val resolve: string -> NReference.reference list
 val get_obj: NUri.uri -> NCic.obj
 
 val clear_cache : unit -> unit