--- /dev/null
+Require Export Xml.
+
+Require Bool.
+Require DecBool.
+Require IfProp.
+Require Sumbool.
+Require Zerob.
+
+Print XML Module Disk "examples" Bool.
+Print XML Module Disk "examples" DecBool.
+Print XML Module Disk "examples" IfProp.
+Print XML Module Disk "examples" Sumbool.
+Print XML Module Disk "examples" Zerob.