Deleted some needless addSIs; got rid of a slow Blast_tac
Deleted some needless addSIs; got rid of a slow Blast_tac

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