]> matita.cs.unibo.it Git - helm.git/commit
Useless code removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Dec 2008 21:42:51 +0000 (21:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Dec 2008 21:42:51 +0000 (21:42 +0000)
commit6110532ca4a8e80f0e867500fcae92bf2f44b899
tree8a23ec4b5728e325655711fcf0b43c536929002a
parent02812e27ba6bc048362493d73d36fca3ba052e44
Useless code removed.
helm/software/components/disambiguation/disambiguate.ml
helm/software/components/disambiguation/disambiguate.mli
helm/software/components/ng_disambiguation/nCicDisambiguate.ml