X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimages%2Fb3.png;h=eea2c8efa1d596288d18f07f3a5b5b3ba401ed0b;hb=a38bbd2c8213d8275a3d3c2ac115c45c8e478ed4;hp=3ed53892311471fa901cda67aa34774bbfc709cb;hpb=658c000ee2ea2da04cf29efc0acdaf16364fbf5e;p=helm.git diff --git a/helm/www/lambdadelta/images/b3.png b/helm/www/lambdadelta/images/b3.png index 3ed538923..eea2c8efa 100644 Binary files a/helm/www/lambdadelta/images/b3.png and b/helm/www/lambdadelta/images/b3.png differ