]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2079b1) | patch
Bug fixed in the computation of the disambiguation domain of a let...rec.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Feb 2007 18:47:05 +0000 (18:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Feb 2007 18:47:05 +0000 (18:47 +0000)
commita4f2e0626c1141b58a58ca3956154462eb234d89
tree2433d36af3f10b59414c897bacd76b3c00e82492tree | snapshot
parenta2079b129bcb754d55a5ed5290d8b9aaa525ac3ecommit | diff
Bug fixed in the computation of the disambiguation domain of a let...rec.
helm/software/components/cic_disambiguation/disambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.