+Require Export Xml.
+
+Require nothing.
+Require useful.
+Require ZFbasis.
+Require axs_extensionnalite.
+Require axs_paire .
+Require axs_reunion.
+Require axs_parties.
+Require axs_comprehension.
+Require axs_remplacement.
+Require couples.
+Require applications .
+Require axs_choice.
+Require axs_fundation.
+Require ZFrelations.
+Require MSetBasis .
+
+Print XML Module Disk "examples" nothing.
+Print XML Module Disk "examples" useful.
+Print XML Module Disk "examples" ZFbasis.
+Print XML Module Disk "examples" axs_extensionnalite.
+Print XML Module Disk "examples" axs_paire .
+Print XML Module Disk "examples" axs_reunion.
+Print XML Module Disk "examples" axs_parties.
+Print XML Module Disk "examples" axs_comprehension.
+Print XML Module Disk "examples" axs_remplacement.
+Print XML Module Disk "examples" couples.
+Print XML Module Disk "examples" applications .
+Print XML Module Disk "examples" axs_choice.
+Print XML Module Disk "examples" axs_fundation.
+Print XML Module Disk "examples" ZFrelations.
+Print XML Module Disk "examples" MSetBasis .