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.