]> matita.cs.unibo.it Git - helm.git/tree
exponentiation should output with \sup not with ^, that is meant to be an
drwxr-xr-x - helm