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=93f106b515ce9bf9a1c9ea362edae24a7736cb4d;hb=dabdf842f8f37da3d25a421740d141c28b23804a;hp=0000000000000000000000000000000000000000;hpb=fdd8107cc53f5e862004aa5fcd48593ee5634234;p=helm.git

diff --git a/helm/coq-contribs/LAMBDA-TYPES.tgz b/helm/coq-contribs/LAMBDA-TYPES.tgz
new file mode 100644
index 000000000..93f106b51
Binary files /dev/null and b/helm/coq-contribs/LAMBDA-TYPES.tgz differ