let fold = ReductionTactics.fold_tac
let fourier = FourierR.fourier_tac
let generalize = VariousTactics.generalize_tac
+let set_goal = VariousTactics.set_goal
let injection = DiscriminationTactics.injection_tac
let intros = PrimitiveTactics.intros_tac
let left = IntroductionTactics.left_tac