More tracing.  hyp_subst_tac allowed to fail
More tracing.  hyp_subst_tac allowed to fail

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