From: Ferruccio Guidi Date: Wed, 10 Aug 2011 11:47:21 +0000 (+0000) Subject: lambda-delta must be a contrib X-Git-Tag: make_still_working~2337 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0dcd9832534f807f052c7deb2473f4e60634162a;p=helm.git lambda-delta must be a contrib ---