X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdownload%2Flambdadelta_ground.tar.bz2;h=bdc1ebb3512b11b35aa78b1b68790e4c9ec14a82;hp=9aecee1bdaa8a2e5ed05e093b23584550c7b42db;hb=3bc50da0628f7ff190c7d5ba7c3b96a7706eb823;hpb=48960c13bc55f37499872feb426ed2c5da4333f0

diff --git a/helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2 b/helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2
index 9aecee1bd..bdc1ebb35 100644
Binary files a/helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2 and b/helm/www/lambdadelta/download/lambdadelta_ground.tar.bz2 differ