Replacing impOfSubs analz_mono by analz_insertI should improve convergence of spy_analz_tac
Replacing impOfSubs analz_mono by analz_insertI should improve convergence
of spy_analz_tac

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