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

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