X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcoq-contribs%2FLAMBDA-TYPES.tgz;h=35fa962dd06759607e737af943e3d949072dd44b;hb=7564f3a87499807bfc15bc488bd6452dc0392b62;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..35fa962dd 100644
Binary files a/helm/coq-contribs/LAMBDA-TYPES.tgz and b/helm/coq-contribs/LAMBDA-TYPES.tgz differ