diff options
Diffstat (limited to 'tactics/setoid_replace.mli')
| -rw-r--r-- | tactics/setoid_replace.mli | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tactics/setoid_replace.mli b/tactics/setoid_replace.mli index 059a25010f..02046c55b3 100644 --- a/tactics/setoid_replace.mli +++ b/tactics/setoid_replace.mli @@ -12,9 +12,14 @@ open Term open Proof_type open Topconstr + +val register_replace : (constr -> constr -> tactic) -> unit + +val print_setoids : unit -> unit + val equiv_list : unit -> constr list -val setoid_replace : constr -> constr -> constr option -> tactic +val setoid_replace : constr -> constr -> tactic val setoid_rewriteLR : constr -> tactic |