X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fimages%2Fcrux_32.png;h=465bf19f262a19b3fcd954bdfb5592a960fa5dd9;hb=933f288c1ef283f50050ce51fbe6773f25fc68ea;hp=1a69cca73813c9e006b490eee0758d1c3ca70178;hpb=ad4d9dc103672a8ae732ec520d0f74445b913e2c;p=helm.git

diff --git a/helm/www/lambda_delta/images/crux_32.png b/helm/www/lambda_delta/images/crux_32.png
index 1a69cca73..465bf19f2 100644
Binary files a/helm/www/lambda_delta/images/crux_32.png and b/helm/www/lambda_delta/images/crux_32.png differ