Require Export Xml.

Require R_Ifp.
Require Raxioms.
Require Rdefinitions.
Require Rbase.
Require Rbasic_fun.
Require Rderiv.
Require Reals.
Require Rfunctions.
Require Rlimit.
Require TypeSyntax.

Print XML Module Disk "examples" R_Ifp.
Print XML Module Disk "examples" Raxioms.
Print XML Module Disk "examples" Rdefinitions.
Print XML Module Disk "examples" Rbase.
Print XML Module Disk "examples" Rbasic_fun.
Print XML Module Disk "examples" Rderiv.
Print XML Module Disk "examples" Reals.
Print XML Module Disk "examples" Rfunctions.
Print XML Module Disk "examples" Rlimit.
Print XML Module Disk "examples" TypeSyntax.