Require Export Xml.

Require ArithRing.
Require Quote.
Require Ring.
Require Ring_abstract.
Require Ring_normalize.
Require Ring_theory.
Require ZArithRing.

Print XML Module Disk "examples" ArithRing.
Print XML Module Disk "examples" Quote.
Print XML Module Disk "examples" Ring.
Print XML Module Disk "examples" Ring_abstract.
Print XML Module Disk "examples" Ring_normalize.
Print XML Module Disk "examples" Ring_theory.
Print XML Module Disk "examples" ZArithRing.