+++ /dev/null
-xmltheoryentries.cmo: xmltheoryentries.ml iXml.cmi
-xmltheoryentries.cmx: xmltheoryentries.ml iXml.cmx
-iXml.cmo: iXml.ml iXml.cmi
-iXml.cmx: iXml.ml iXml.cmi
-iXml.cmi: iXml.mli
-XmlTheory.vo: XmlTheory.v iXml.cmo xmltheoryentries.cmo
-XmlTheory.vi: XmlTheory.v iXml.cmo xmltheoryentries.cmo
-XmlTheory.html: XmlTheory.v iXml.cmo xmltheoryentries.cmo