]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cba2bdc) | patch
During the computation of the inner-type of a LAMBDA, the grandfather
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Apr 2002 13:12:00 +0000 (13:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Apr 2002 13:12:00 +0000 (13:12 +0000)
commit2bd948e245f117c1806390e9ddda149aa60df582
tree1546d093f3fe95a05ec0f28763e572533b03811atree | snapshot
parentcba2bdcb2944a5d2a4f2e1560262430fd45e61e6commit | diff
During the computation of the inner-type of a LAMBDA, the grandfather
was retrieved instead of the father. Fixed.
helm/gTopLevel/cic2acic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.