]> matita.cs.unibo.it Git - helm.git/commit
more work
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 14 Oct 2008 17:38:51 +0000 (17:38 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 14 Oct 2008 17:38:51 +0000 (17:38 +0000)
commit023b925489d007fc1a39087e2770aac4b2740159
tree3ed8aa4b31a96444d9f867de02d2f7719ad417a7
parentbf7f52019b3f65b6d635a8b49a63f0d95080f189
more work
helm/software/components/extlib/hExtlib.ml
helm/software/components/ng_kernel/nCicPp.ml
helm/software/components/ng_refiner/check.ml
helm/software/components/ng_refiner/nCicMetaSubst.ml
helm/software/components/ng_refiner/nCicMetaSubst.mli
helm/software/components/ng_refiner/nCicRefiner.ml
helm/software/components/ng_refiner/nCicUnification.ml