From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 1 Feb 2013 16:37:41 +0000 (+0000)
Subject: lambda finaly moved in lib
X-Git-Tag: make_still_working~1290
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=aa9654656f7d0aeb9345e0b86a9e35f861687580;hp=aa9654656f7d0aeb9345e0b86a9e35f861687580;p=helm.git

lambda finaly moved in lib
---