X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=3b43f18b0883c99185334f5c1f8778dc499eddc6;hb=a38bbd2c8213d8275a3d3c2ac115c45c8e478ed4;hp=a0d1b7ce4a70f8e56b5804a65b9b67f450b0b085;hpb=658c000ee2ea2da04cf29efc0acdaf16364fbf5e;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index a0d1b7ce4..3b43f18b0 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -36,18 +36,18 @@