Require Export Xml.

Require Omega.
Require Zlogarithm.
Require OmegaSyntax.
Require Zpower.

Print XML Module Disk "examples" Omega.
Print XML Module Disk "examples" Zlogarithm.
Print XML Module Disk "examples" OmegaSyntax.
Print XML Module Disk "examples" Zpower.