]> matita.cs.unibo.it Git - helm.git/tree
"obtain H E1=E2 by proof" is now working
drwxr-xr-x - helm