X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fimages%2Fb5.png;h=877e505a66416279626d6fc81bcc1bde734173d4;hb=613d8642b1154dde0c026cbdcd96568910198251;hp=30cace1d17078267e517e173afff24ccce3a8be3;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git diff --git a/helm/www/lambdadelta/images/b5.png b/helm/www/lambdadelta/images/b5.png index 30cace1d1..877e505a6 100644 Binary files a/helm/www/lambdadelta/images/b5.png and b/helm/www/lambdadelta/images/b5.png differ