From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 25 Jun 2014 13:25:17 +0000 (+0000)
Subject: updated slides
X-Git-Tag: make_still_working~892
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=75fac6d60f67a4dfa38ea6c2cc45a18eda5d8996;p=helm.git

updated slides
---

diff --git a/helm/www/lambdadelta/download/ld_talk_8s.pdf b/helm/www/lambdadelta/download/ld_talk_8s.pdf
index a7cc22dd5..5b2752fe3 100644
Binary files a/helm/www/lambdadelta/download/ld_talk_8s.pdf and b/helm/www/lambdadelta/download/ld_talk_8s.pdf differ