From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 18 Jan 2010 09:57:43 +0000 (+0000)
Subject: paramod_tac exported
X-Git-Tag: make_still_working~3114
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7b85558bb57881e7a7a6a9e52f22be7e0bc97908;p=helm.git

paramod_tac exported
---

diff --git a/helm/software/components/ng_tactics/nnAuto.mli b/helm/software/components/ng_tactics/nnAuto.mli
index e08d0456d..e1312d05c 100644
--- a/helm/software/components/ng_tactics/nnAuto.mli
+++ b/helm/software/components/ng_tactics/nnAuto.mli
@@ -16,6 +16,10 @@ val fast_eq_check_tac:
   params:(NTacStatus.tactic_term list * (string * string) list) -> 
    's NTacStatus.tactic
 
+val paramod_tac:
+  params:(NTacStatus.tactic_term list * (string * string) list) -> 
+   's NTacStatus.tactic
+
 val smart_apply_tac: 
   NTacStatus.tactic_term -> 's NTacStatus.tactic