data declaration: removed obsolete target_morphism (still required for local data!?);
data declaration: removed obsolete target_morphism (still required for local data!?);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle