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