+++ /dev/null
-Require Export Xml.
-
-Require Newman.
-Require Operators_Properties.
-Require Relation_Definitions.
-Require Relation_Operators.
-Require Relations.
-Require Rstar.
-(*Require Disjoint_Union.*)
-(*Require Inclusion.*)
-(*Require Inverse_Image.*)
-(*Require Lexicographic_Exponentiation.*)
-(*Require Lexicographic_Product.*)
-(*Require Transitive_Closure.*)
-(*Require Union.*)
-(*Require Well_Ordering.*)
-(*Require Wellfounded.*)
-
-Print XML Module Disk "examples" Newman.
-Print XML Module Disk "examples" Operators_Properties.
-Print XML Module Disk "examples" Relation_Definitions.
-Print XML Module Disk "examples" Relation_Operators.
-Print XML Module Disk "examples" Relations.
-Print XML Module Disk "examples" Rstar.
-(*Print XML Module Disk "examples/WELLFOUNDED" Disjoint_Union.*)
-(*Print XML Module Disk "examples/WELLFOUNDED" Inclusion.*)
-(*Print XML Module Disk "examples/WELLFOUNDED" Inverse_Image.*)
-(*Print XML Module Disk "examples/WELLFOUNDED" Lexicographic_Exponentiation.*)
-(*Print XML Module Disk "examples/WELLFOUNDED" Lexicographic_Product.*)
-(*Print XML Module Disk "examples/WELLFOUNDED" Transitive_Closure.*)
-(*Print XML Module Disk "examples/WELLFOUNDED" Union.*)
-(*Print XML Module Disk "examples/WELLFOUNDED" Well_Ordering.*)
-(*Print XML Module Disk "examples/WELLFOUNDED" Wellfounded.*)