From 7b85558bb57881e7a7a6a9e52f22be7e0bc97908 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Mon, 18 Jan 2010 09:57:43 +0000 Subject: [PATCH] paramod_tac exported --- helm/software/components/ng_tactics/nnAuto.mli | 4 ++++ 1 file changed, 4 insertions(+) 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 -- 2.39.2