]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/xml/xmlLibrary.mli
- helena: the improved attribute system allows to export the sorts of Pi's
[helm.git] / helm / software / helena / src / xml / xmlLibrary.mli
index ca9dbf63432101f535f8414d561475d79b2c3a57..1ac861aeef06aa9ab7edf2c8b9fb1de5a7df0c02 100644 (file)
@@ -47,7 +47,7 @@ val name: Entity.node_attrs -> attr
 
 val apix: Entity.node_attrs -> attr
 
-val degr: Entity.node_attrs -> attr
+val kind: Entity.node_attrs -> attr
 
 val meta: Entity.root_attrs -> attr