added protect_cong, cong_mono_thm; outer_params: Syntax.deskolem;
added protect_cong, cong_mono_thm;
outer_params: Syntax.deskolem;

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