X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcoq-contribs%2FLAMBDA-TYPES.tgz;fp=helm%2Fcoq-contribs%2FLAMBDA-TYPES.tgz;h=615c03d1e89ce7626c82f1dd1a5cdf69b1d8becd;hb=c6762d611fb15644926b5d79bb4816a949c565ce;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