HomeIsabelle/Phabricator

tuned code equations for Xml-parsing