Resolve fixed: when an URI was well-formed but not found in a map, unresolved

[helm.git] / helm / EXPORT / export_Nijmegen_Rem / prova_Nijmegen_Rem.v

Require Export Xml.

Require Rem.

Print XML Module Disk "examples" Rem.