]> matita.cs.unibo.it Git - helm.git/tree
use math mode when referencing terms from a \sequent environment
drwxr-xr-x - helm