X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2FnTactics.mli;h=250b26991625442e6d2d46559541ac20d3c4c42a;hb=3fab56d1663ba3d5aeb9207612279e0bb0edbb8c;hp=fd5916c8dbf69f1add0deb3cf9beaa53bd8245e5;hpb=dd627e471392375ca7b6dad78a931a8682e06dbe;p=helm.git diff --git a/matita/components/ng_tactics/nTactics.mli b/matita/components/ng_tactics/nTactics.mli index fd5916c8d..250b26991 100644 --- a/matita/components/ng_tactics/nTactics.mli +++ b/matita/components/ng_tactics/nTactics.mli @@ -92,3 +92,4 @@ val inversion_tac: 's NTacStatus.tactic val exact_tac: NTacStatus.tactic_term -> 's NTacStatus.tactic +val first_tac: 's NTacStatus.tactic list -> 's NTacStatus.tactic