documented slow_tac, slow_best_tac, depth_tac, deepen_tac
documented slow_tac, slow_best_tac, depth_tac, deepen_tac

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