added "fastsimp"; fixed "clarsimp": CHANGED;
added "fastsimp";
fixed "clarsimp": CHANGED;

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