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