]> matita.cs.unibo.it Git - helm.git/commit
some work to refine objs
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 11 Feb 2009 16:27:33 +0000 (16:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 11 Feb 2009 16:27:33 +0000 (16:27 +0000)
commit46b91f34b693dabbd351ba813f5190051b09a117
tree90fa7a5d3695cc548c613e8ecc0b385e39e41a3a
parent7aaaee610ab145cb419de016fb69c633fdaa6cb4
some work to refine objs
helm/software/components/ng_disambiguation/nCicDisambiguate.ml
helm/software/components/ng_disambiguation/nCicDisambiguate.mli
helm/software/components/ng_kernel/nCicTypeChecker.mli
helm/software/components/ng_kernel/nReference.ml
helm/software/components/ng_kernel/nReference.mli
helm/software/components/ng_refiner/nCicRefiner.ml
helm/software/components/ng_refiner/nCicRefiner.mli