]> matita.cs.unibo.it Git - helm.git/commit
Useless code removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Dec 2008 21:58:39 +0000 (21:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Dec 2008 21:58:39 +0000 (21:58 +0000)
commite0378cef913a27d566b4159e4889f0fb82cee974
tree3ed5408b6846b2d0378030951ffa2a4db9621f70
parent6110532ca4a8e80f0e867500fcae92bf2f44b899
Useless code removed.
helm/software/components/disambiguation/disambiguate.ml