prove_standard: more precises argument passing; proper context for tactics derived from res_inst_tac;
prove_standard: more precises argument passing;
proper context for tactics derived from res_inst_tac;

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