A few other tactics made available to matita.

[helm.git] / helm / ocaml / tactics / tacticals.mli

diff --git a/helm/ocaml/tactics/tacticals.mli b/helm/ocaml/tactics/tacticals.mli
index d7cc2754575375a55b1a7467289527a2f11af931..ab2f718238aebaab580376085b2b9ada202ed7f6 100644 (file)
--- a/helm/ocaml/tactics/tacticals.mli
+++ b/helm/ocaml/tactics/tacticals.mli
@@ -54,8 +54,4 @@ val try_tactic:
 val solve_tactics:
  tactics: (string * ProofEngineTypes.tactic) list -> ProofEngineTypes.tactic
 
-val fail: ProofEngineTypes.tactic
-
-(*
-val prova_tac : ProofEngineTypes.tactic
-*)
+val fail_tac: ProofEngineTypes.tactic