HomeIsabelle/Phabricator

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