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