]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/images/basic_32.png
- some consequences of preservation added
[helm.git] / helm / www / lambdadelta / images / basic_32.png
index 350f6bcb064467398060e29a75acc9ea2b37fc13..bfbc8634c9a8b5c840939c326c2578f6f354c790 100644 (file)
Binary files a/helm/www/lambdadelta/images/basic_32.png and b/helm/www/lambdadelta/images/basic_32.png differ