--- /dev/null
+Require Export Xml.
+
+Require provastruct.
+Print XML Module Disk "examples" provastruct.
+
+Require provastruct2.
+Print XML Module Disk "examples" provastruct2.
+
+Require provastruct3.
+Print XML Module Disk "examples" provastruct3.
+
+Require provastruct4.
+Print XML Module Disk "examples" provastruct4.
+
+Require provastruct5.
+Print XML Module Disk "examples" provastruct5.