]> matita.cs.unibo.it Git - helm.git/commit
First attempt to implement unification hints.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 15 Dec 2008 19:16:46 +0000 (19:16 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 15 Dec 2008 19:16:46 +0000 (19:16 +0000)
commitf2e2d1f6cccad2cc1ce70ef7fa2841cf0a457953
tree9ead31d2a6365f49f0526cb7ccd10479e00f2992
parente7cbfc078d4738277cf4a730c9407fc140bc029b
First attempt to implement unification hints.
helm/software/components/grafite_parser/grafiteDisambiguate.ml
helm/software/components/ng_disambiguation/nCicDisambiguate.ml
helm/software/components/ng_refiner/.depend
helm/software/components/ng_refiner/Makefile
helm/software/components/ng_refiner/nCicRefiner.ml
helm/software/components/ng_refiner/nCicRefiner.mli
helm/software/components/ng_refiner/nCicUnification.ml
helm/software/components/ng_refiner/nCicUnification.mli