]> matita.cs.unibo.it Git - helm.git/tree
We can always use the "covered by emptyset" relation...
drwxr-xr-x - helm