--- /dev/null
+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.