]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f227250) | patch
Incredible bug fixed in Fix and CoFix. The types of the mutual inductive
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Feb 2007 18:46:35 +0000 (18:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Feb 2007 18:46:35 +0000 (18:46 +0000)
commitf7bfd6bb04dd067edcd2074587d571e57be5b84b
tree5d1ba60b3789735d2b4ccdef8b6307c13856f9c5tree | snapshot
parentf22725024459660d85ed7ee3c2dbeef198db0efccommit | diff
Incredible bug fixed in Fix and CoFix. The types of the mutual inductive
functions were not lifted when added to the context.
components/cic_proof_checking/cicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.