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