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