]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/download/ld_talk_8s.pdf
updated slides
[helm.git] / helm / www / lambdadelta / download / ld_talk_8s.pdf
index a7cc22dd5cb3efa3c717674e3197e0022146957a..5b2752fe35f83bcb3c0331d7f87d7d546ebb0a2c 100644 (file)
Binary files a/helm/www/lambdadelta/download/ld_talk_8s.pdf and b/helm/www/lambdadelta/download/ld_talk_8s.pdf differ