From 73397ea88cd90c04d2a9704e44e5a0bdc5f4675d Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 24 May 2005 10:36:52 +0000 Subject: [PATCH] added lost elim_intros_tac --- helm/ocaml/tactics/primitiveTactics.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/ocaml/tactics/primitiveTactics.mli b/helm/ocaml/tactics/primitiveTactics.mli index a6e506432..e06e9cf58 100644 --- a/helm/ocaml/tactics/primitiveTactics.mli +++ b/helm/ocaml/tactics/primitiveTactics.mli @@ -52,6 +52,8 @@ val letin_tac: val elim_intros_simpl_tac: term: Cic.term -> ProofEngineTypes.tactic +val elim_intros_tac: + term: Cic.term -> ProofEngineTypes.tactic val change_tac: what: Cic.term -> with_what: Cic.term -> ProofEngineTypes.tactic -- 2.39.2