Module Cc_plugin.Cctac
val congruence_tac : int -> EConstr.constr list -> unit Proofview.tacticval simple_congruence_tac : int -> EConstr.constr list -> unit Proofview.tacticval f_equal : unit Proofview.tactic
Cc_plugin.Cctacval congruence_tac : int -> EConstr.constr list -> unit Proofview.tacticval simple_congruence_tac : int -> EConstr.constr list -> unit Proofview.tacticval f_equal : unit Proofview.tactic