]> matita.cs.unibo.it Git - helm.git/tree
added a subtle List.rev that makes the order of the equalities taken from the library...
drwxr-xr-x - helm