Require Export Xml.

Require Higman.

Print XML Module Disk "examples" Higman.