]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/download/crux_32.png
still new colors ...
[helm.git] / helm / www / lambda_delta / download / crux_32.png
index dd760d8b2262563bc5e583be00e2b7d8c258aabe..1a69cca73813c9e006b490eee0758d1c3ca70178 100644 (file)
Binary files a/helm/www/lambda_delta/download/crux_32.png and b/helm/www/lambda_delta/download/crux_32.png differ