X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=76d0594a8782e072eb5905e28d245465f1599290;hb=d1ab998b8c8dacdfceee97d6275955675cf8be83;hp=af07faf971708044c1b61787a002c3d7460d2bd9;hpb=c6aece41fb3865f411bfe2a886b3b3cfb519031f;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index af07faf97..76d0594a8 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -148,7 +148,7 @@