diff options
Diffstat (limited to 'tactics')
| -rw-r--r-- | tactics/tactics.mli | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tactics/tactics.mli b/tactics/tactics.mli index db46c621ff..eb62f602aa 100644 --- a/tactics/tactics.mli +++ b/tactics/tactics.mli @@ -327,11 +327,4 @@ val tclABSTRACT : identifier option -> tactic -> tactic val admit_as_an_axiom : tactic -val make_abstract_generalize : 'a -> - Names.identifier -> - Term.constr -> - Sign.rel_context -> - Term.types -> - Term.types list -> - Term.constr list -> Term.constr list -> Term.constr -> Term.constr val abstract_generalize : identifier -> tactic |