From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 28 Nov 2005 12:41:21 +0000 (+0000)
Subject: 1. Bug fixed: compilation of "let corec" to a simple CoFix without a surrounding
X-Git-Tag: make_still_working~8079
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c07a8ba5564610278faed3c86d9a21a9ee0c644e;hp=c07a8ba5564610278faed3c86d9a21a9ee0c644e;p=helm.git

1. Bug fixed: compilation of "let corec" to a simple CoFix without a surrounding
   let...in was bugged (because of a missing delifting). Fixed.
2. Localization is no longer lost in the body of a "let rec" or a "let corec"
---