X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic%2FlibraryObjects.mli;fp=helm%2Fsoftware%2Fcomponents%2Fcic%2FlibraryObjects.mli;h=2488930024534141b4b4bb401517b2367dd2820c;hb=68dbcd02022874a025a9444aa1125b0458816fbb;hp=b4e19dff80452402f04c92609563d4195c630a58;hpb=dc7fa75e39843dd9db19130fb352c274291befff;p=helm.git

diff --git a/helm/software/components/cic/libraryObjects.mli b/helm/software/components/cic/libraryObjects.mli
index b4e19dff8..248893002 100644
--- a/helm/software/components/cic/libraryObjects.mli
+++ b/helm/software/components/cic/libraryObjects.mli
@@ -66,6 +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 destroy_nat : Cic.annterm -> int option
-
+val nat_URI : unit -> UriManager.uri option
+val is_nat_URI : UriManager.uri -> bool