]> matita.cs.unibo.it Git - helm.git/commit
initial refiner ....
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 13 Oct 2008 17:42:30 +0000 (17:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 13 Oct 2008 17:42:30 +0000 (17:42 +0000)
commitc14ddc094a1cfa93b5337e5aecc6831f72dfc22b
tree4ac8113807c0c6555ed81a19d04341fd312d85c4
parent1788c6be52a0c6532045c57897606bffd0173eab
initial refiner ....
helm/software/components/ng_kernel/nCic.ml
helm/software/components/ng_kernel/nCicTypeChecker.ml
helm/software/components/ng_kernel/nCicUntrusted.ml
helm/software/components/ng_kernel/nCicUntrusted.mli
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/nCicRefiner.mli