renamed cond_extern to extern; Sign.declare_name replaces NameSpace.extend; (RAW_)METHOD_CASES: RuleCases.T option;
renamed cond_extern to extern;
Sign.declare_name replaces NameSpace.extend;
(RAW_)METHOD_CASES: RuleCases.T option;

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