HomeIsabelle/Phabricator

subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;

Authored by makarius.