diff options
Diffstat (limited to 'tactics/rewrite.mli')
| -rw-r--r-- | tactics/rewrite.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tactics/rewrite.mli b/tactics/rewrite.mli index 4944f6475d..5b82217fd4 100644 --- a/tactics/rewrite.mli +++ b/tactics/rewrite.mli @@ -71,10 +71,6 @@ val cl_rewrite_clause : interp_sign * (glob_constr_and_expr * glob_constr_and_expr bindings) -> bool -> Locus.occurrences -> Id.t option -> tactic -val cl_rewrite_clause_newtac' : - interp_sign * (glob_constr_and_expr * glob_constr_and_expr bindings) -> - bool -> Locus.occurrences -> Id.t option -> unit Proofview.tactic - val is_applied_rewrite_relation : env -> evar_map -> Context.rel_context -> constr -> types option |