X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2Fdownload%2Fbasic2a.pdf;h=e47b376d90969f21ca3595373f7a34e393032243;hb=d966abb5707d0ce51be932b7bde99d4325d23a0c;hp=74cbdc164e7465d3efb32c9aae0a5c3217202983;hpb=7562d9781dc4f351ddc3b2f8edd21f4976621948;p=helm.git

diff --git a/helm/www/lambdadelta/download/basic2a.pdf b/helm/www/lambdadelta/download/basic2a.pdf
index 74cbdc164..e47b376d9 100644
Binary files a/helm/www/lambdadelta/download/basic2a.pdf and b/helm/www/lambdadelta/download/basic2a.pdf differ