HomeIsabelle/Phabricator

more thorough extend/merge (for Theory.join_theory);

Authored by makarius.