HomeIsabelle/Phabricator

proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter;