X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimages%2Fb9.png;h=ff982a9ac237dbe5f0c489abde722825630068d2;hb=a38bbd2c8213d8275a3d3c2ac115c45c8e478ed4;hp=0de5598679741b5208b03c2251b5e351932a8e20;hpb=658c000ee2ea2da04cf29efc0acdaf16364fbf5e;p=helm.git

diff --git a/helm/www/lambdadelta/images/b9.png b/helm/www/lambdadelta/images/b9.png
index 0de559867..ff982a9ac 100644
Binary files a/helm/www/lambdadelta/images/b9.png and b/helm/www/lambdadelta/images/b9.png differ