let elim_type = EliminationTactics.elim_type_tac
let exact = PrimitiveTactics.exact_tac
let exists = IntroductionTactics.exists_tac
let fold = ReductionTactics.fold_tac
let fourier = FourierR.fourier_tac
let generalize = VariousTactics.generalize_tac
let elim_type = EliminationTactics.elim_type_tac
let exact = PrimitiveTactics.exact_tac
let exists = IntroductionTactics.exists_tac
let fold = ReductionTactics.fold_tac
let fourier = FourierR.fourier_tac
let generalize = VariousTactics.generalize_tac