]> matita.cs.unibo.it Git - helm.git/commit
unification completed
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 Sep 2008 16:24:35 +0000 (16:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 Sep 2008 16:24:35 +0000 (16:24 +0000)
commita677e0d09755766c61ce9b30a98bec10cb8902b3
tree12592eb6ffc3be03af03d1b0802ce3ea44b28581
parent5da34acfe73a49b383294012ee7432a8b6fbe43f
unification completed
helm/software/components/ng_kernel/nCicReduction.ml
helm/software/components/ng_kernel/nCicReduction.mli
helm/software/components/ng_refiner/nCicMetaSubst.ml
helm/software/components/ng_refiner/nCicUnification.ml