X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fcore.html;h=f0ff46f51d8f8695775ae71fabd4a13376c8a752;hb=8653dd54c57943e28e3ef60d2d0cbc1861a76a33;hp=08a77db80c88220abbd93f5e458760ddc0673125;hpb=f1b5681cc8b74b016c7287d901564547fa70cdbd;p=helm.git diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html index 08a77db80..f0ff46f51 100644 --- a/helm/www/lambdadelta/core.html +++ b/helm/www/lambdadelta/core.html @@ -7116,6 +7116,6 @@