]> matita.cs.unibo.it Git - helm.git/tree
new macro ncheck. fixed term2pres for Inductive and LetIn=Cast
drwxr-xr-x - helm