]> matita.cs.unibo.it Git - helm.git/tree
elim tactic: it needs two arguments, a term as well as a pattern
drwxr-xr-x - helm