(*
Require Export Xml.

Require Generic.
Require Heap.
Require Permutation.
Require Sorting.

Print XML Module Disk "examples" Generic.
Print XML Module Disk "examples" Heap.
Print XML Module Disk "examples" Permutation.
Print XML Module Disk "examples" Sorting.
*)