--- /dev/null
+Require Export Xml.
+
+Require List.
+Require ListSet.
+Require PolyList.
+(*Require PolyListSyntax.*)
+Require Streams.
+Require TheoryList.
+
+Print XML Module Disk "examples" List.
+Print XML Module Disk "examples" ListSet.
+Print XML Module Disk "examples" PolyList.
+(*Print XML Module Disk "examples" PolyListSyntax.*)
+Print XML Module Disk "examples" Streams.
+Print XML Module Disk "examples" TheoryList.