]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 590854e) | 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)
commit37a375b59014cdfaa15f50e2a7bbed29871adb9b
treee43ae051871a0e1271d06b0905fa4d9efac1bd42tree | snapshot
parent590854ef49fa6c6ce12a4e3cd2b480266b62f589commit | 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!
components/cic_proof_checking/cicReduction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.