]> matita.cs.unibo.it Git - helm.git/tree
pure ==> proof_transform for the "by" part of rewriting
drwxr-xr-x - helm