Require Export Xml.

Print XML Module Disk "examples" Datatypes.
Print XML Module Disk "examples" DatatypesSyntax.
Print XML Module Disk "examples" Logic.
Print XML Module Disk "examples" LogicSyntax.
Print XML Module Disk "examples" Specif.
Print XML Module Disk "examples" SpecifSyntax.
Print XML Module Disk "examples" Peano.
Print XML Module Disk "examples" Wf.
Print XML Module Disk "examples" Prelude.
Print XML Module Disk "examples" Logic_Type.
Print XML Module Disk "examples" Logic_TypeSyntax.