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