]> matita.cs.unibo.it Git - helm.git/tree
Corrected a bug relative to the application of substs in the "on goal"
drwxr-xr-x - helm