]> matita.cs.unibo.it Git - helm.git/commit
sortification simplified
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 1 Oct 2009 08:46:53 +0000 (08:46 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 1 Oct 2009 08:46:53 +0000 (08:46 +0000)
commit7110ed13ffccb214bc3aafe37f6a7c24f59a49e5
tree13ac6cae04652039a69c909bb42cb76b50fef703
parent4e09b5e3a6f54a0ad22561aaa45373a753932a59
sortification simplified
helm/software/components/ng_refiner/nCicUnification.ml