XML Coq Exports