X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcoq-contribs%2FSUBSETS.tgz;h=ad647f41706dd61116ab560acff54d566de9ea13;hb=8d1c6f47f6a17cae4cc738987184b37e640b48ed;hp=43b20d86efeab599a35f21550fb323bb0e3bb9d3;hpb=f10420cd53e7abc80553b2a8a1712d8a0cefca84;p=helm.git

diff --git a/helm/coq-contribs/SUBSETS.tgz b/helm/coq-contribs/SUBSETS.tgz
index 43b20d86e..ad647f417 100644
Binary files a/helm/coq-contribs/SUBSETS.tgz and b/helm/coq-contribs/SUBSETS.tgz differ