]> matita.cs.unibo.it Git - helm.git/blob - weblib/test
Fixed pretty-printing of types of variables bound in patterns.
[helm.git] / weblib / test