X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdownload%2Fld_talk_8s.pdf;h=5b2752fe35f83bcb3c0331d7f87d7d546ebb0a2c;hb=68b4f2490c12139c03760b39895619e63b0f38c9;hp=a7cc22dd5cb3efa3c717674e3197e0022146957a;hpb=f6923ff81abc829b20c6d01801fd6b98ab88cd65;p=helm.git

diff --git a/helm/www/lambdadelta/download/ld_talk_8s.pdf b/helm/www/lambdadelta/download/ld_talk_8s.pdf
index a7cc22dd5..5b2752fe3 100644
Binary files a/helm/www/lambdadelta/download/ld_talk_8s.pdf and b/helm/www/lambdadelta/download/ld_talk_8s.pdf differ