]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/xml/xmlLibrary.mli
- simpler attribute system
[helm.git] / helm / software / helena / src / xml / xmlLibrary.mli
index 0dbfb54aa91e05c4a12d5cb7f6a7d72d0b7841be..202ec2c272befaed18d00a1e3be01d26c6c46578 100644 (file)
@@ -45,11 +45,11 @@ val uri: Entity.uri -> attr
 
 val layer: Layer.status -> Layer.layer -> attr
 
-val name: Entity.node_attrs -> attr
+val name: Entity.bind_attrs -> attr
 
-val main: Entity.node_attrs -> attr list
+val main: Entity.bind_attrs -> attr list
 
-val side: Entity.node_attrs -> attr list
+val side: Entity.bind_attrs -> attr list
 
 val apix: Entity.node_attrs -> attr