]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afcc82e) | patch
Serious bug fixed: a variable was captured during unfolding of Fix, resulting
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 26 Mar 2007 18:05:50 +0000 (18:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 26 Mar 2007 18:05:50 +0000 (18:05 +0000)
commited1ee239fa5380b061453d8d2e8a75ceba024b52
treed16dd65e65b8237581d0b947a94c4c8c131b2626tree | snapshot
parentafcc82e79c1ebddaaed0fe9e83cfcea79493701ccommit | diff
Serious bug fixed: a variable was captured during unfolding of Fix, resulting
in the context of the return type of mutually recursive definitions being
lifted for each function but the first one!
helm/software/components/cic_proof_checking/cicReduction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.