val general_s_rewrite_in :
string -> bool -> Cic.term -> new_goals:Cic.term list -> ProofEngineTypes.tactic
-val setoid_reflexivity : ProofEngineTypes.tactic
+val setoid_reflexivity_tac : ProofEngineTypes.tactic
val setoid_symmetry : ProofEngineTypes.tactic
val setoid_symmetry_in : string -> ProofEngineTypes.tactic
val setoid_transitivity : Cic.term -> ProofEngineTypes.tactic