X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnTactics.mli;h=29b7613a502878ef702cfc9b3378e75192f04ded;hb=246f3c2f2d26655129efacf830ecff47094795b4;hp=831704924ab46539d1d891c0144ac7afed8a9927;hpb=b225178112c2c5ef1a717ac7e647d854d94b2e52;p=helm.git

diff --git a/helm/software/components/ng_tactics/nTactics.mli b/helm/software/components/ng_tactics/nTactics.mli
index 831704924..29b7613a5 100644
--- a/helm/software/components/ng_tactics/nTactics.mli
+++ b/helm/software/components/ng_tactics/nTactics.mli
@@ -38,9 +38,11 @@ val focus_tac: int list -> tactic
 val unfocus_tac: tactic
 val skip_tac: tactic
 
-val fold_tactic: lowtactic -> tactic
+val distribute_tac: lowtactic -> tactic
+val block_tac: tactic list -> tactic
 
 val apply_tac: tactic_term -> tactic
+val change_tac: tactic_term -> tactic_term -> tactic
 
 
 val pp_tac_status: tac_status -> unit