X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdownload%2Flambdadelta_2A.tar.bz2;h=d97d6bd9ab272760f04aff45c74550d5fd523259;hb=68b4f2490c12139c03760b39895619e63b0f38c9;hp=d82582bbc96e28f8160a56bac9130957087dd1eb;hpb=dd731f05f181f45260a0c448cf995aa3d7adc1f2;p=helm.git

diff --git a/helm/www/lambdadelta/download/lambdadelta_2A.tar.bz2 b/helm/www/lambdadelta/download/lambdadelta_2A.tar.bz2
index d82582bbc..d97d6bd9a 100644
Binary files a/helm/www/lambdadelta/download/lambdadelta_2A.tar.bz2 and b/helm/www/lambdadelta/download/lambdadelta_2A.tar.bz2 differ