]> matita.cs.unibo.it Git - helm.git/commit
a few missing ~subst added to whd
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 5 Dec 2008 18:16:01 +0000 (18:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 5 Dec 2008 18:16:01 +0000 (18:16 +0000)
commit002d456397be2f0046bb50356e80816f7296647d
treefacf47fcae0a61356930cf8d3b68c35cb22dfe0a
parent62f476a05884d451bfb90d845ea2b1c0a1c77f96
a few missing ~subst added to whd
helm/software/components/ng_disambiguation/nCicDisambiguate.ml
helm/software/components/ng_kernel/nCicReduction.ml
helm/software/components/ng_kernel/nCicReduction.mli
helm/software/components/ng_kernel/nCicTypeChecker.ml
helm/software/components/ng_refiner/nCicCoercion.ml
helm/software/components/ng_refiner/nCicMetaSubst.ml
helm/software/components/ng_refiner/nCicMetaSubst.mli
helm/software/components/ng_refiner/nCicRefiner.ml