]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/download/crux_32.png
new colors for the crux ...
[helm.git] / helm / www / lambda_delta / download / crux_32.png
index be5524e5eb0637de48d4b6fd5fb9376c6bbb9c38..a02312fb691121b1f9a25222dae5b08de8585544 100644 (file)
Binary files a/helm/www/lambda_delta/download/crux_32.png and b/helm/www/lambda_delta/download/crux_32.png differ