mirror of the Mini-XML project (http://www.msweet.org/projects.php?Z3)