X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fcoq-contribs%2FLAMBDA-TYPES.tgz;h=615c03d1e89ce7626c82f1dd1a5cdf69b1d8becd;hb=de9a83f286eee12117fb478ea2db18f7faebac9a;hp=93f106b515ce9bf9a1c9ea362edae24a7736cb4d;hpb=dabdf842f8f37da3d25a421740d141c28b23804a;p=helm.git

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