]> matita.cs.unibo.it Git - helm.git/search
mk_dep_graph reimplemented using the forward-pointers metadata.