Replaced occurrence of fast_tac by Fast_tac .
Replaced occurrence of fast_tac by Fast_tac .

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