removed slow, slow_best methods; added clarify, clarsimp methods;
removed slow, slow_best methods;
added clarify, clarsimp methods;

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