]> matita.cs.unibo.it Git - helm.git/tree
On the last goal at maxdepth we stop at the first solution.
drwxr-xr-x - helm