X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FproceduralTypes.mli;h=dfd82df12ff1d2b0504a07e04309bea6fd0d91f3;hb=77d56df4d446307199a9d4e03478260c6c63baf8;hp=b06acd1049b1938e815ae4a37c37136fd4150dbb;hpb=664ce15981e66bc897f31963b2f9f2f1e3d11470;p=helm.git

diff --git a/helm/software/components/content_pres/proceduralTypes.mli b/helm/software/components/content_pres/proceduralTypes.mli
index b06acd104..dfd82df12 100644
--- a/helm/software/components/content_pres/proceduralTypes.mli
+++ b/helm/software/components/content_pres/proceduralTypes.mli
@@ -31,6 +31,8 @@ val list_split: int -> 'a list -> 'a list * 'a list
 
 val mk_arel: int -> string -> Cic.annterm
 
+val is_atomic:Cic.annterm -> bool 
+
 (****************************************************************************)
 
 type name  = string