X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FzipTree.mli;h=751d3720dd61a01b2375cc9c0a8ca339b27f2ffa;hb=refs%2Fheads%2Fmatita-lablgtk3;hp=bed576157d099558613c0507d138a455057c13b6;hpb=3c77b701737ef41c39a5d08d76ca9071e5b1bdd7;p=helm.git

diff --git a/helm/software/components/ng_tactics/zipTree.mli b/helm/software/components/ng_tactics/zipTree.mli
index bed576157..751d3720d 100644
--- a/helm/software/components/ng_tactics/zipTree.mli
+++ b/helm/software/components/ng_tactics/zipTree.mli
@@ -18,6 +18,7 @@ val start : ('s,'g) tree -> ('a,'s,'g) position
 
 val up    : ('a,'s,'g) position -> ('b,'s,'g) position option
 val down  : ('a,'s,'g) position -> ('b,'s,'g) position option
+val downr : ('a,'s,'g) position -> ('b,'s,'g) position option
 val left  : ('a,'s,'g) position -> ('b,'s,'g) position option
 val right : ('a,'s,'g) position -> ('b,'s,'g) position option