]> matita.cs.unibo.it Git - helm.git/commit
Ooops. In previous commit I forgot to subtract the left arguments in case
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 Oct 2007 16:57:04 +0000 (16:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 Oct 2007 16:57:04 +0000 (16:57 +0000)
commitb6f67d53a7772e7872356412fd470ca5b92e2bdb
tree725e27fb7eccd05c21e58d70f0af2df9b41f8867
parent87cebf96248da4c901973d563c05b76c0010943a
Ooops. In previous commit I forgot to subtract the left arguments in case
analysis.
helm/software/components/cic_disambiguation/disambiguate.ml