* Isar/HOL: added 'recdef_tc' command;
* Isar/HOL: added 'recdef_tc' command;

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