]> matita.cs.unibo.it Git - helm.git/tree
Dirty patch by Zack: natural numbers of Matita are now pretty-printed as numbers...
drwxr-xr-x - helm