HomeIsabelle/Phabricator

use new XML-transformer from IsaFoR, developed by A. Yamada