dropped now obsolete purge_data -- happens implicitly on change of theory identity
dropped now obsolete purge_data -- happens implicitly on change of theory identity

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