diff options
Diffstat (limited to 'tactics')
| -rw-r--r-- | tactics/equality.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/equality.mli b/tactics/equality.mli index bbe8f1e481..b88f376ee2 100644 --- a/tactics/equality.mli +++ b/tactics/equality.mli @@ -120,7 +120,7 @@ type subst_tactic_flags = { only_leibniz : bool; rewrite_dependent_proof : bool } - +val subst_gen : bool -> identifier list -> tactic val subst : identifier list -> tactic val subst_all : ?flags:subst_tactic_flags -> tactic |