val setoid_symmetry : ProofEngineTypes.tactic
val setoid_symmetry_in : string -> ProofEngineTypes.tactic
val setoid_transitivity : Cic.term -> ProofEngineTypes.tactic
val setoid_symmetry : ProofEngineTypes.tactic
val setoid_symmetry_in : string -> ProofEngineTypes.tactic
val setoid_transitivity : Cic.term -> ProofEngineTypes.tactic