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

diff --git a/helm/software/lambda-delta/src/xml/xmlLibrary.mli b/helm/software/lambda-delta/src/xml/xmlLibrary.mli
index ebd4157d9..5fd4dc38b 100644
--- a/helm/software/lambda-delta/src/xml/xmlLibrary.mli
+++ b/helm/software/lambda-delta/src/xml/xmlLibrary.mli
@@ -54,3 +54,6 @@ val name: Entity.attrs -> attr
 val mark: Entity.attrs -> attr
 
 val meta: Entity.attrs -> attr
+
+val info: Entity.attrs -> attr list
+