-R . Bologna.XmlTheory
-I $(COQTOP)/contrib/xml
XmlTheory.v
iXml.ml
xmltheoryentries.ml