X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcoq-contribs%2FLAMBDA-TYPES.tgz;h=35fa962dd06759607e737af943e3d949072dd44b;hb=1c8721e5ae9006ea9eeda2de113f9edfe96e1d71;hp=615c03d1e89ce7626c82f1dd1a5cdf69b1d8becd;hpb=f10420cd53e7abc80553b2a8a1712d8a0cefca84;p=helm.git

diff --git a/helm/coq-contribs/LAMBDA-TYPES.tgz b/helm/coq-contribs/LAMBDA-TYPES.tgz
index 615c03d1e..35fa962dd 100644
Binary files a/helm/coq-contribs/LAMBDA-TYPES.tgz and b/helm/coq-contribs/LAMBDA-TYPES.tgz differ