]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c139ae) | patch
Bug fixed: a number alias Num 0 now subsumes the case Num n for each n.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Sep 2006 14:04:33 +0000 (14:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Sep 2006 14:04:33 +0000 (14:04 +0000)
commit3314368624a591c3f567d27d6cba505defec72c9
tree345a301c7503fa300e8d4c0a619f0c43eafb044etree | snapshot
parent1c139ae493f874bfadb11dd2b8c765d0053ba1f7commit | diff
Bug fixed: a number alias Num 0 now subsumes the case Num n for each n.
components/cic_disambiguation/disambiguateTypes.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.