]> matita.cs.unibo.it Git - helm.git/commit
we can test the unification algorithm!
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Oct 2008 10:26:11 +0000 (10:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Oct 2008 10:26:11 +0000 (10:26 +0000)
commitb0b6b600e029435bfce53f41cd267c669a1f8dc2
treedc2a9792787755e92fcd7b26153dff026861e8d0
parentffa63313d7329be5e1a7b0f40cd31e7102ee0417
we can test the unification algorithm!
helm/software/components/ng_kernel/nCicPp.ml
helm/software/components/ng_refiner/.depend
helm/software/components/ng_refiner/check.ml
helm/software/components/ng_refiner/nCicMetaSubst.ml
helm/software/components/ng_refiner/nCicMetaSubst.mli