isatool fixclasimp; removed several blast_tacs;
isatool fixclasimp;
removed several blast_tacs;

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