X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fxml%2FxmlLibrary.mli;h=5fd4dc38bbdd59cc350983144def2bcbac8e5ad8;hb=fa5cd121c672589afc0ac8ddd5d184897a38c7c6;hp=28f056f068a6a01f8cacf2e9a8f4584b17768c04;hpb=22fd9c98a22929f0319286c0693fcdaee43a72df;p=helm.git

diff --git a/helm/software/lambda-delta/src/xml/xmlLibrary.mli b/helm/software/lambda-delta/src/xml/xmlLibrary.mli
index 28f056f06..5fd4dc38b 100644
--- a/helm/software/lambda-delta/src/xml/xmlLibrary.mli
+++ b/helm/software/lambda-delta/src/xml/xmlLibrary.mli
@@ -15,8 +15,9 @@ type attr = string * string
 
 type pp = och -> int -> unit
 
-val export_entity:
-   ('term -> pp) -> bool -> string -> 'term Entity.entity -> unit
+val export_entity: ('term -> pp) -> 'term Entity.entity -> unit
+
+val export_csys: Ccs.csys -> unit
 
 val tag: string -> attr list -> ?contents:pp -> pp 
 
@@ -44,7 +45,7 @@ val offset: int -> attr
 
 val uri: Entity.uri -> attr
 
-val arity: int -> attr
+val arity: ?n:int -> 'a list -> attr
 
 val level: Level.level -> attr
 
@@ -53,3 +54,6 @@ val name: Entity.attrs -> attr
 val mark: Entity.attrs -> attr
 
 val meta: Entity.attrs -> attr
+
+val info: Entity.attrs -> attr list
+