X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic%2FlibraryObjects.mli;h=2488930024534141b4b4bb401517b2367dd2820c;hb=72cd94b68037956a70b98cfa54f316fd54e52bae;hp=8aacd8da35a3c372058d05f769d4b7646dce8b8a;hpb=6e61c5884aa89838a04659f90dc8d210e3703502;p=helm.git

diff --git a/helm/software/components/cic/libraryObjects.mli b/helm/software/components/cic/libraryObjects.mli
index 8aacd8da3..248893002 100644
--- a/helm/software/components/cic/libraryObjects.mli
+++ b/helm/software/components/cic/libraryObjects.mli
@@ -24,8 +24,10 @@
  *)
 
 val set_default : string -> UriManager.uri list -> unit
-val reset_defaults : unit -> unit 
 
+val reset_defaults : unit -> unit 
+val push: unit -> unit
+val pop: unit -> unit
 
 val eq_URI : unit -> UriManager.uri option
 
@@ -64,4 +66,5 @@ val false_URI : unit -> UriManager.uri option
 val true_URI : unit -> UriManager.uri option
 val absurd_URI : unit -> UriManager.uri option
 
-val build_nat : int -> Cic.term
+val nat_URI : unit -> UriManager.uri option
+val is_nat_URI : UriManager.uri -> bool