updated for latest Blast_tac, which fixes an equality bug
updated for latest Blast_tac, which fixes an equality bug

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