Require Export Xml.

Require Ramsey.

Print XML Module Disk "examples" Ramsey.