]> matita.cs.unibo.it Git - helm.git/search
1 .Tactic generalize ported to patterns and activated in matita.