recdef_tc(_i): local_theory interface via Specification.theorem_i; incorporated IsarThy into IsarCmd;
recdef_tc(_i): local_theory interface via Specification.theorem_i;
incorporated IsarThy into IsarCmd;

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