X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fimplementation.html;h=d9361a15c7f1856f4f74b96c3650c76d6e71b122;hb=bb1a03359dfaea6031592d28b9bfb15d797c44e5;hp=450f6a6ba732adb4ad3cfaea72d525cf11e2ac7d;hpb=abd0169d8025bf4d613a612231ad5b0c4c1db009;p=helm.git diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 450f6a6ba..d9361a15c 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -107,7 +107,7 @@