X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fxml%2FxmlLibrary.mli;h=d6ce856bb198cbc58d45b796f3143975030ece73;hb=88977b2d546e547e23b046792fe2ad8f6ff192a4;hp=7b3a476c3347728f931845cb28ee8d3c897b5e24;hpb=52a8357823f16af9b3790178c9eb1b57daa1f199;p=helm.git

diff --git a/helm/software/helena/src/xml/xmlLibrary.mli b/helm/software/helena/src/xml/xmlLibrary.mli
index 7b3a476c3..d6ce856bb 100644
--- a/helm/software/helena/src/xml/xmlLibrary.mli
+++ b/helm/software/helena/src/xml/xmlLibrary.mli
@@ -9,6 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
+IFDEF OBJECTS THEN
+
 type och = string -> unit
 
 type attr = string * string
@@ -17,8 +19,6 @@ type pp = och -> int -> unit
 
 val export_entity: ('term -> pp) -> 'term Entity.entity -> unit
 
-val export_csys: Ccs.csys -> unit
-
 val tag: string -> attr list -> ?contents:pp -> pp 
 
 val sort: string
@@ -41,20 +41,24 @@ val void: string
 
 val position: int -> attr
 
-val offset: int -> attr
+val depth: int -> attr
 
 val uri: Entity.uri -> attr
 
-val arity: ?n:int -> 'a list -> attr
+val restricted: bool -> attr
+
+val layer: Layer.status -> Layer.layer -> attr
+
+val name: Entity.bind_attrs -> attr
 
-val level: Level.level -> attr
+val main: Entity.arity -> attr list
 
-val name: Entity.attrs -> attr
+val side: Entity.arity -> attr list
 
-val apix: Entity.attrs -> attr
+val apix: Entity.node_attrs -> attr
 
-val mark: Entity.attrs -> attr
+val meta: Entity.root_attrs -> attr
 
-val meta: Entity.attrs -> attr
+val info: Entity.root_attrs -> attr list
 
-val info: Entity.attrs -> attr list
+END