Merge branch 'master' of ssh://matita.cs.unibo.it:/srv/git/helm

[helm.git] / helm / www / lambdadelta / download / ld_talk_11s.pdf

diff --git a/helm/www/lambdadelta/download/ld_talk_11s.pdf b/helm/www/lambdadelta/download/ld_talk_11s.pdf
new file mode 100644 (file)
index 0000000..7ab57ab
Binary files /dev/null and b/helm/www/lambdadelta/download/ld_talk_11s.pdf differ